home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text
This file was processed as: LaTeX Document
(document/latex).
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| LaTeX Document (document/latex)
| magic
| Supported |
| 1%
| dexvert
| MultiMate Document (document/multiMate)
| ext
| Unsupported |
| 1%
| dexvert
| WANG Integrated Word Processor (document/wangIWP)
| ext
| Unsupported |
| 1%
| dexvert
| Excellence! Document (document/excellenceDocument)
| ext
| Unsupported |
| 1%
| dexvert
| IBM DisplayWrite Document (document/ibmDisplayWriteDocument)
| ext
| Unsupported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| LaTeX document text
| default
| |
| 99%
| file
| LaTeX document, ASCII text
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 5c 63 68 61 70 74 65 72 | 7b 53 75 6d 6d 61 72 79 |\chapter|{Summary|
|00000010| 7d 09 09 5c 6c 61 62 65 | 6c 7b 73 65 63 3a 73 75 |}..\labe|l{sec:su|
|00000020| 6d 6d 61 72 79 7d 0a 0a | 25 20 52 65 71 75 69 72 |mmary}..|% Requir|
|00000030| 65 64 20 4d 61 63 72 6f | 73 3a 0a 25 0a 25 20 65 |ed Macro|s:.%.% e|
|00000040| 6e 76 69 72 6f 6e 6d 65 | 6e 74 20 60 73 75 6d 6d |nvironme|nt `summ|
|00000050| 61 72 79 6c 69 73 74 27 | 20 74 6f 20 65 6d 62 72 |arylist'| to embr|
|00000060| 61 63 65 20 61 20 73 75 | 6d 6d 61 72 79 20 6c 69 |ace a su|mmary li|
|00000070| 73 74 0a 25 0a 25 20 5c | 70 72 65 64 69 63 61 74 |st.%.% \|predicat|
|00000080| 65 73 75 6d 6d 61 72 79 | 7b 4e 61 6d 65 7d 7b 41 |esummary|{Name}{A|
|00000090| 72 69 74 79 7d 7b 53 75 | 6d 6d 61 72 79 7d 0a 25 |rity}{Su|mmary}.%|
|000000a0| 20 5c 6f 70 70 72 65 64 | 73 75 6d 6d 61 72 79 7b | \oppred|summary{|
|000000b0| 4e 61 6d 65 7d 7b 41 72 | 69 74 79 7d 7b 41 73 73 |Name}{Ar|ity}{Ass|
|000000c0| 6f 63 69 61 74 69 76 69 | 74 79 7d 7b 50 72 69 6f |ociativi|ty}{Prio|
|000000d0| 72 69 74 79 7d 7b 53 75 | 6d 6d 61 72 79 7d 0a 25 |rity}{Su|mmary}.%|
|000000e0| 20 5c 66 75 6e 63 74 69 | 6f 6e 73 75 6d 6d 61 72 | \functi|onsummar|
|000000f0| 79 7b 4e 61 6d 65 7d 7b | 41 72 69 74 79 7d 7b 53 |y{Name}{|Arity}{S|
|00000100| 75 6d 6d 61 72 79 7d 0a | 25 20 5c 6f 70 66 75 6e |ummary}.|% \opfun|
|00000110| 63 73 75 6d 6d 61 72 79 | 7b 4e 61 6d 65 7d 7b 41 |csummary|{Name}{A|
|00000120| 72 69 74 79 7d 7b 41 73 | 73 6f 63 69 61 74 69 76 |rity}{As|sociativ|
|00000130| 69 74 79 7d 7b 50 72 69 | 6f 72 69 74 79 7d 7b 53 |ity}{Pri|ority}{S|
|00000140| 75 6d 6d 61 72 79 7d 0a | 25 20 5c 6f 70 73 75 6d |ummary}.|% \opsum|
|00000150| 6d 61 72 79 7b 50 72 69 | 6f 72 69 74 79 7d 7b 41 |mary{Pri|ority}{A|
|00000160| 73 73 6f 63 69 61 74 69 | 76 69 74 79 7d 7b 4e 61 |ssociati|vity}{Na|
|00000170| 6d 65 7d 7b 46 75 6e 63 | 74 69 6f 6e 7d 0a 0a 5c |me}{Func|tion}..\|
|00000180| 73 65 63 74 69 6f 6e 7b | 50 72 65 64 69 63 61 74 |section{|Predicat|
|00000190| 65 73 7d 0a 0a 54 68 65 | 20 70 72 65 64 69 63 61 |es}..The| predica|
|000001a0| 74 65 20 73 75 6d 6d 61 | 72 79 20 69 73 20 75 73 |te summa|ry is us|
|000001b0| 65 64 20 62 79 20 74 68 | 65 20 50 72 6f 6c 6f 67 |ed by th|e Prolog|
|000001c0| 20 70 72 65 64 69 63 61 | 74 65 20 61 70 72 6f 70 | predica|te aprop|
|000001d0| 6f 73 2f 31 20 74 6f 0a | 73 75 67 67 65 73 74 20 |os/1 to.|suggest |
|000001e0| 70 72 65 64 69 63 61 74 | 65 73 20 66 72 6f 6d 20 |predicat|es from |
|000001f0| 61 20 6b 65 79 77 6f 72 | 64 2e 0a 0a 5c 62 65 67 |a keywor|d...\beg|
|00000200| 69 6e 7b 73 75 6d 6d 61 | 72 79 6c 69 73 74 7d 7b |in{summa|rylist}{|
|00000210| 6c 6c 7d 0a 5c 70 72 65 | 64 69 63 61 74 65 73 75 |ll}.\pre|dicatesu|
|00000220| 6d 6d 61 72 79 7b 21 7d | 7b 30 7d 7b 43 75 74 20 |mmary{!}|{0}{Cut |
|00000230| 28 64 69 73 63 61 72 64 | 20 63 68 6f 69 63 65 70 |(discard| choicep|
|00000240| 6f 69 6e 74 73 29 7d 0a | 5c 70 72 65 64 69 63 61 |oints)}.|\predica|
|00000250| 74 65 73 75 6d 6d 61 72 | 79 7b 21 7d 7b 31 7d 7b |tesummar|y{!}{1}{|
|00000260| 43 75 74 20 62 6c 6f 63 | 6b 2e 20 53 65 65 20 62 |Cut bloc|k. See b|
|00000270| 6c 6f 63 6b 2f 33 7d 0a | 5c 6f 70 70 72 65 64 73 |lock/3}.|\oppreds|
|00000280| 75 6d 6d 61 72 79 7b 2c | 7d 7b 32 7d 7b 78 66 79 |ummary{,|}{2}{xfy|
|00000290| 7d 7b 31 30 30 30 7d 7b | 43 6f 6e 6a 75 6e 63 74 |}{1000}{|Conjunct|
|000002a0| 69 6f 6e 20 6f 66 20 67 | 6f 61 6c 73 7d 0a 5c 6f |ion of g|oals}.\o|
|000002b0| 70 70 72 65 64 73 75 6d | 6d 61 72 79 7b 2d 3e 7d |ppredsum|mary{->}|
|000002c0| 7b 32 7d 7b 78 66 79 7d | 7b 31 30 35 30 7d 7b 49 |{2}{xfy}|{1050}{I|
|000002d0| 66 2d 74 68 65 6e 2d 65 | 6c 73 65 7d 0a 5c 6f 70 |f-then-e|lse}.\op|
|000002e0| 70 72 65 64 73 75 6d 6d | 61 72 79 7b 2a 2d 3e 7d |predsumm|ary{*->}|
|000002f0| 7b 32 7d 7b 78 66 79 7d | 7b 31 30 35 30 7d 7b 53 |{2}{xfy}|{1050}{S|
|00000300| 6f 66 74 2d 63 75 74 7d | 0a 5c 70 72 65 64 69 63 |oft-cut}|.\predic|
|00000310| 61 74 65 73 75 6d 6d 61 | 72 79 7b 2e 7d 7b 32 7d |atesumma|ry{.}{2}|
|00000320| 7b 43 6f 6e 73 75 6c 74 | 2e 20 41 6c 73 6f 20 6c |{Consult|. Also l|
|00000330| 69 73 74 20 63 6f 6e 73 | 74 72 75 63 74 6f 72 7d |ist cons|tructor}|
|00000340| 0a 5c 6f 70 70 72 65 64 | 73 75 6d 6d 61 72 79 7b |.\oppred|summary{|
|00000350| 3b 7d 7b 32 7d 7b 78 66 | 79 7d 7b 31 31 30 30 7d |;}{2}{xf|y}{1100}|
|00000360| 7b 44 69 73 6a 75 6e 63 | 74 69 6f 6e 20 6f 66 20 |{Disjunc|tion of |
|00000370| 67 6f 61 6c 73 2e 20 53 | 61 6d 65 20 61 73 20 5c |goals. S|ame as \|
|00000380| 70 72 65 64 72 65 66 7b | 7c 7d 7b 32 7d 7d 0a 5c |predref{||}{2}}.\|
|00000390| 6f 70 70 72 65 64 73 75 | 6d 6d 61 72 79 7b 3c 7d |oppredsu|mmary{<}|
|000003a0| 7b 32 7d 7b 78 66 78 7d | 7b 37 30 30 7d 7b 41 72 |{2}{xfx}|{700}{Ar|
|000003b0| 69 74 68 6d 65 74 69 63 | 20 73 6d 61 6c 6c 65 72 |ithmetic| smaller|
|000003c0| 7d 0a 5c 6f 70 70 72 65 | 64 73 75 6d 6d 61 72 79 |}.\oppre|dsummary|
|000003d0| 7b 3d 7d 7b 32 7d 7b 78 | 66 78 7d 7b 37 30 30 7d |{=}{2}{x|fx}{700}|
|000003e0| 7b 55 6e 69 66 69 63 61 | 74 69 6f 6e 7d 0a 5c 6f |{Unifica|tion}.\o|
|000003f0| 70 70 72 65 64 73 75 6d | 6d 61 72 79 7b 3d 2e 2e |ppredsum|mary{=..|
|00000400| 7d 7b 32 7d 7b 78 66 78 | 7d 7b 37 30 30 7d 7b 60 |}{2}{xfx|}{700}{`|
|00000410| 60 55 6e 69 76 2e 27 27 | 20 54 65 72 6d 20 74 6f |`Univ.''| Term to|
|00000420| 20 6c 69 73 74 20 63 6f | 6e 76 65 72 73 69 6f 6e | list co|nversion|
|00000430| 7d 0a 5c 6f 70 70 72 65 | 64 73 75 6d 6d 61 72 79 |}.\oppre|dsummary|
|00000440| 7b 3d 3a 3d 7d 7b 32 7d | 7b 78 66 78 7d 7b 37 30 |{=:=}{2}|{xfx}{70|
|00000450| 30 7d 7b 41 72 69 74 68 | 6d 65 74 69 63 20 65 71 |0}{Arith|metic eq|
|00000460| 75 61 6c 7d 0a 5c 6f 70 | 70 72 65 64 73 75 6d 6d |ual}.\op|predsumm|
|00000470| 61 72 79 7b 3d 3c 7d 7b | 32 7d 7b 78 66 78 7d 7b |ary{=<}{|2}{xfx}{|
|00000480| 37 30 30 7d 7b 41 72 69 | 74 68 6d 65 74 69 63 20 |700}{Ari|thmetic |
|00000490| 73 6d 61 6c 6c 65 72 20 | 6f 72 20 65 71 75 61 6c |smaller |or equal|
|000004a0| 7d 0a 5c 6f 70 70 72 65 | 64 73 75 6d 6d 61 72 79 |}.\oppre|dsummary|
|000004b0| 7b 3d 3d 7d 7b 32 7d 7b | 78 66 78 7d 7b 37 30 30 |{==}{2}{|xfx}{700|
|000004c0| 7d 7b 49 64 65 6e 74 69 | 63 61 6c 7d 0a 5c 6f 70 |}{Identi|cal}.\op|
|000004d0| 70 72 65 64 73 75 6d 6d | 61 72 79 7b 3d 40 3d 7d |predsumm|ary{=@=}|
|000004e0| 7b 32 7d 7b 78 66 78 7d | 7b 37 30 30 7d 7b 53 74 |{2}{xfx}|{700}{St|
|000004f0| 72 75 63 74 75 72 61 6c | 20 69 64 65 6e 74 69 63 |ructural| identic|
|00000500| 61 6c 7d 0a 5c 6f 70 70 | 72 65 64 73 75 6d 6d 61 |al}.\opp|redsumma|
|00000510| 72 79 7b 3d 5c 3d 7d 7b | 32 7d 7b 78 66 78 7d 7b |ry{=\=}{|2}{xfx}{|
|00000520| 37 30 30 7d 7b 41 72 69 | 74 68 6d 65 74 69 63 20 |700}{Ari|thmetic |
|00000530| 6e 6f 74 20 65 71 75 61 | 6c 7d 0a 5c 6f 70 70 72 |not equa|l}.\oppr|
|00000540| 65 64 73 75 6d 6d 61 72 | 79 7b 3e 7d 7b 32 7d 7b |edsummar|y{>}{2}{|
|00000550| 78 66 78 7d 7b 37 30 30 | 7d 7b 41 72 69 74 68 6d |xfx}{700|}{Arithm|
|00000560| 65 74 69 63 20 6c 61 72 | 67 65 72 7d 0a 5c 6f 70 |etic lar|ger}.\op|
|00000570| 70 72 65 64 73 75 6d 6d | 61 72 79 7b 3e 3d 7d 7b |predsumm|ary{>=}{|
|00000580| 32 7d 7b 78 66 78 7d 7b | 37 30 30 7d 7b 41 72 69 |2}{xfx}{|700}{Ari|
|00000590| 74 68 6d 65 74 69 63 20 | 6c 61 72 67 65 72 20 6f |thmetic |larger o|
|000005a0| 72 20 65 71 75 61 6c 7d | 0a 5c 6f 70 70 72 65 64 |r equal}|.\oppred|
|000005b0| 73 75 6d 6d 61 72 79 7b | 40 3c 7d 7b 32 7d 7b 78 |summary{|@<}{2}{x|
|000005c0| 66 78 7d 7b 37 30 30 7d | 7b 53 74 61 6e 64 61 72 |fx}{700}|{Standar|
|000005d0| 64 20 6f 72 64 65 72 20 | 73 6d 61 6c 6c 65 72 7d |d order |smaller}|
|000005e0| 0a 5c 6f 70 70 72 65 64 | 73 75 6d 6d 61 72 79 7b |.\oppred|summary{|
|000005f0| 40 3d 3c 7d 7b 32 7d 7b | 78 66 78 7d 7b 37 30 30 |@=<}{2}{|xfx}{700|
|00000600| 7d 7b 53 74 61 6e 64 61 | 72 64 20 6f 72 64 65 72 |}{Standa|rd order|
|00000610| 20 73 6d 61 6c 6c 65 72 | 20 6f 72 20 65 71 75 61 | smaller| or equa|
|00000620| 6c 7d 0a 5c 6f 70 70 72 | 65 64 73 75 6d 6d 61 72 |l}.\oppr|edsummar|
|00000630| 79 7b 40 3e 7d 7b 32 7d | 7b 78 66 78 7d 7b 37 30 |y{@>}{2}|{xfx}{70|
|00000640| 30 7d 7b 53 74 61 6e 64 | 61 72 64 20 6f 72 64 65 |0}{Stand|ard orde|
|00000650| 72 20 6c 61 72 67 65 72 | 7d 0a 5c 6f 70 70 72 65 |r larger|}.\oppre|
|00000660| 64 73 75 6d 6d 61 72 79 | 7b 40 3e 3d 7d 7b 32 7d |dsummary|{@>=}{2}|
|00000670| 7b 78 66 78 7d 7b 37 30 | 30 7d 7b 53 74 61 6e 64 |{xfx}{70|0}{Stand|
|00000680| 61 72 64 20 6f 72 64 65 | 72 20 6c 61 72 67 65 72 |ard orde|r larger|
|00000690| 20 6f 72 20 65 71 75 61 | 6c 7d 0a 5c 6f 70 70 72 | or equa|l}.\oppr|
|000006a0| 65 64 73 75 6d 6d 61 72 | 79 7b 5c 2b 7d 7b 31 7d |edsummar|y{\+}{1}|
|000006b0| 7b 66 79 7d 7b 39 30 30 | 7d 7b 4e 65 67 61 74 69 |{fy}{900|}{Negati|
|000006c0| 6f 6e 20 62 79 20 66 61 | 69 6c 75 72 65 2e 20 53 |on by fa|ilure. S|
|000006d0| 61 6d 65 20 61 73 20 6e | 6f 74 2f 31 7d 0a 5c 6f |ame as n|ot/1}.\o|
|000006e0| 70 70 72 65 64 73 75 6d | 6d 61 72 79 7b 5c 3d 7d |ppredsum|mary{\=}|
|000006f0| 7b 32 7d 7b 78 66 78 7d | 7b 37 30 30 7d 7b 4e 6f |{2}{xfx}|{700}{No|
|00000700| 74 20 75 6e 69 66 79 61 | 62 6c 65 7d 0a 5c 6f 70 |t unifya|ble}.\op|
|00000710| 70 72 65 64 73 75 6d 6d | 61 72 79 7b 5c 3d 3d 7d |predsumm|ary{\==}|
|00000720| 7b 32 7d 7b 78 66 78 7d | 7b 37 30 30 7d 7b 4e 6f |{2}{xfx}|{700}{No|
|00000730| 74 20 69 64 65 6e 74 69 | 63 61 6c 7d 0a 5c 6f 70 |t identi|cal}.\op|
|00000740| 70 72 65 64 73 75 6d 6d | 61 72 79 7b 5c 3d 40 3d |predsumm|ary{\=@=|
|00000750| 7d 7b 32 7d 7b 78 66 78 | 7d 7b 37 30 30 7d 7b 4e |}{2}{xfx|}{700}{N|
|00000760| 6f 74 20 73 74 72 75 63 | 74 75 72 61 6c 20 69 64 |ot struc|tural id|
|00000770| 65 6e 74 69 63 61 6c 7d | 0a 5c 6f 70 70 72 65 64 |entical}|.\oppred|
|00000780| 73 75 6d 6d 61 72 79 7b | 5e 7d 7b 32 7d 7b 78 66 |summary{|^}{2}{xf|
|00000790| 79 7d 7b 32 30 30 7d 7b | 45 78 69 73 74 65 6e 74 |y}{200}{|Existent|
|000007a0| 69 61 6c 20 71 75 61 6e | 74 69 66 69 63 61 74 69 |ial quan|tificati|
|000007b0| 6f 6e 20 28 62 61 67 6f | 66 2f 33 2c 20 73 65 74 |on (bago|f/3, set|
|000007c0| 6f 66 2f 33 29 7d 0a 5c | 6f 70 70 72 65 64 73 75 |of/3)}.\|oppredsu|
|000007d0| 6d 6d 61 72 79 7b 7c 7d | 7b 32 7d 7b 78 66 79 7d |mmary{|}|{2}{xfy}|
|000007e0| 7b 31 31 30 30 7d 7b 44 | 69 73 6a 75 6e 63 74 69 |{1100}{D|isjuncti|
|000007f0| 6f 6e 20 6f 66 20 67 6f | 61 6c 73 2e 20 53 61 6d |on of go|als. Sam|
|00000800| 65 20 61 73 20 5c 70 72 | 65 64 72 65 66 7b 3b 7d |e as \pr|edref{;}|
|00000810| 7b 32 7d 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |{2}}.\pr|edicates|
|00000820| 75 6d 6d 61 72 79 7b 61 | 62 6f 6c 69 73 68 7d 7b |ummary{a|bolish}{|
|00000830| 31 7d 7b 52 65 6d 6f 76 | 65 20 70 72 65 64 69 63 |1}{Remov|e predic|
|00000840| 61 74 65 20 64 65 66 69 | 6e 69 74 69 6f 6e 20 66 |ate defi|nition f|
|00000850| 72 6f 6d 20 74 68 65 20 | 64 61 74 61 62 61 73 65 |rom the |database|
|00000860| 7d 0a 5c 70 72 65 64 69 | 63 61 74 65 73 75 6d 6d |}.\predi|catesumm|
|00000870| 61 72 79 7b 61 62 6f 6c | 69 73 68 7d 7b 32 7d 7b |ary{abol|ish}{2}{|
|00000880| 52 65 6d 6f 76 65 20 70 | 72 65 64 69 63 61 74 65 |Remove p|redicate|
|00000890| 20 64 65 66 69 6e 69 74 | 69 6f 6e 20 66 72 6f 6d | definit|ion from|
|000008a0| 20 74 68 65 20 64 61 74 | 61 62 61 73 65 7d 0a 5c | the dat|abase}.\|
|000008b0| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|000008c0| 7b 61 62 6f 72 74 7d 7b | 30 7d 7b 41 62 6f 72 74 |{abort}{|0}{Abort|
|000008d0| 20 65 78 65 63 75 74 69 | 6f 6e 2c 20 72 65 74 75 | executi|on, retu|
|000008e0| 72 6e 20 74 6f 20 74 6f | 70 20 6c 65 76 65 6c 7d |rn to to|p level}|
|000008f0| 0a 5c 70 72 65 64 69 63 | 61 74 65 73 75 6d 6d 61 |.\predic|atesumma|
|00000900| 72 79 7b 61 62 73 6f 6c | 75 74 65 5f 66 69 6c 65 |ry{absol|ute_file|
|00000910| 5f 6e 61 6d 65 7d 7b 32 | 7d 7b 47 65 74 20 61 62 |_name}{2|}{Get ab|
|00000920| 73 6f 6c 75 74 65 20 70 | 61 74 68 20 6e 61 6d 65 |solute p|ath name|
|00000930| 7d 0a 5c 70 72 65 64 69 | 63 61 74 65 73 75 6d 6d |}.\predi|catesumm|
|00000940| 61 72 79 7b 61 62 73 6f | 6c 75 74 65 5f 66 69 6c |ary{abso|lute_fil|
|00000950| 65 5f 6e 61 6d 65 7d 7b | 33 7d 7b 47 65 74 20 61 |e_name}{|3}{Get a|
|00000960| 62 73 6f 6c 75 74 65 20 | 70 61 74 68 20 6e 61 6d |bsolute |path nam|
|00000970| 65 20 77 69 74 68 20 6f | 70 74 69 6f 6e 73 7d 0a |e with o|ptions}.|
|00000980| 5c 70 72 65 64 69 63 61 | 74 65 73 75 6d 6d 61 72 |\predica|tesummar|
|00000990| 79 7b 61 63 63 65 73 73 | 5f 66 69 6c 65 7d 7b 32 |y{access|_file}{2|
|000009a0| 7d 7b 43 68 65 63 6b 20 | 61 63 63 65 73 73 20 70 |}{Check |access p|
|000009b0| 65 72 6d 69 73 73 69 6f | 6e 73 20 6f 66 20 61 20 |ermissio|ns of a |
|000009c0| 66 69 6c 65 7d 0a 5c 70 | 72 65 64 69 63 61 74 65 |file}.\p|redicate|
|000009d0| 73 75 6d 6d 61 72 79 7b | 61 70 70 65 6e 64 7d 7b |summary{|append}{|
|000009e0| 31 7d 7b 41 70 70 65 6e | 64 20 74 6f 20 61 20 66 |1}{Appen|d to a f|
|000009f0| 69 6c 65 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |ile}.\pr|edicates|
|00000a00| 75 6d 6d 61 72 79 7b 61 | 70 70 65 6e 64 7d 7b 33 |ummary{a|ppend}{3|
|00000a10| 7d 7b 43 6f 6e 63 61 74 | 65 6e 61 74 65 20 6c 69 |}{Concat|enate li|
|00000a20| 73 74 73 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |sts}.\pr|edicates|
|00000a30| 75 6d 6d 61 72 79 7b 61 | 70 70 6c 79 7d 7b 32 7d |ummary{a|pply}{2}|
|00000a40| 7b 43 61 6c 6c 20 67 6f | 61 6c 20 77 69 74 68 20 |{Call go|al with |
|00000a50| 61 64 64 69 74 69 6f 6e | 61 6c 20 61 72 67 75 6d |addition|al argum|
|00000a60| 65 6e 74 73 7d 0a 5c 70 | 72 65 64 69 63 61 74 65 |ents}.\p|redicate|
|00000a70| 73 75 6d 6d 61 72 79 7b | 61 70 72 6f 70 6f 73 7d |summary{|apropos}|
|00000a80| 7b 31 7d 7b 5c 70 6c 6c | 69 62 7b 6f 6e 6c 69 6e |{1}{\pll|ib{onlin|
|00000a90| 65 5f 68 65 6c 70 7d 20 | 53 68 6f 77 20 72 65 6c |e_help} |Show rel|
|00000aa0| 61 74 65 64 20 70 72 65 | 64 69 63 61 74 65 73 20 |ated pre|dicates |
|00000ab0| 61 6e 64 20 6d 61 6e 75 | 61 6c 20 73 65 63 74 69 |and manu|al secti|
|00000ac0| 6f 6e 73 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |ons}.\pr|edicates|
|00000ad0| 75 6d 6d 61 72 79 7b 61 | 72 67 7d 7b 33 7d 7b 41 |ummary{a|rg}{3}{A|
|00000ae0| 63 63 65 73 73 20 61 72 | 67 75 6d 65 6e 74 20 6f |ccess ar|gument o|
|00000af0| 66 20 61 20 74 65 72 6d | 7d 0a 5c 70 72 65 64 69 |f a term|}.\predi|
|00000b00| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 61 72 69 74 |catesumm|ary{arit|
|00000b10| 68 6d 65 74 69 63 5f 66 | 75 6e 63 74 69 6f 6e 7d |hmetic_f|unction}|
|00000b20| 7b 31 7d 7b 52 65 67 69 | 73 74 65 72 20 61 6e 20 |{1}{Regi|ster an |
|00000b30| 65 76 61 6c 75 61 62 6c | 65 20 66 75 6e 63 74 69 |evaluabl|e functi|
|00000b40| 6f 6e 7d 0a 5c 70 72 65 | 64 69 63 61 74 65 73 75 |on}.\pre|dicatesu|
|00000b50| 6d 6d 61 72 79 7b 61 73 | 73 65 72 74 7d 7b 31 7d |mmary{as|sert}{1}|
|00000b60| 7b 41 64 64 20 61 20 63 | 6c 61 75 73 65 20 74 6f |{Add a c|lause to|
|00000b70| 20 74 68 65 20 64 61 74 | 61 62 61 73 65 7d 0a 5c | the dat|abase}.\|
|00000b80| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|00000b90| 7b 61 73 73 65 72 74 7d | 7b 32 7d 7b 41 64 64 20 |{assert}|{2}{Add |
|00000ba0| 61 20 63 6c 61 75 73 65 | 20 74 6f 20 74 68 65 20 |a clause| to the |
|00000bb0| 64 61 74 61 62 61 73 65 | 2c 20 67 69 76 65 20 72 |database|, give r|
|00000bc0| 65 66 65 72 65 6e 63 65 | 7d 0a 5c 70 72 65 64 69 |eference|}.\predi|
|00000bd0| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 61 73 73 65 |catesumm|ary{asse|
|00000be0| 72 74 61 7d 7b 31 7d 7b | 41 64 64 20 61 20 63 6c |rta}{1}{|Add a cl|
|00000bf0| 61 75 73 65 20 74 6f 20 | 74 68 65 20 64 61 74 61 |ause to |the data|
|00000c00| 62 61 73 65 20 28 66 69 | 72 73 74 29 7d 0a 5c 70 |base (fi|rst)}.\p|
|00000c10| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|00000c20| 61 73 73 65 72 74 61 7d | 7b 32 7d 7b 41 64 64 20 |asserta}|{2}{Add |
|00000c30| 61 20 63 6c 61 75 73 65 | 20 74 6f 20 74 68 65 20 |a clause| to the |
|00000c40| 64 61 74 61 62 61 73 65 | 20 28 66 69 72 73 74 29 |database| (first)|
|00000c50| 7d 0a 5c 70 72 65 64 69 | 63 61 74 65 73 75 6d 6d |}.\predi|catesumm|
|00000c60| 61 72 79 7b 61 73 73 65 | 72 74 7a 7d 7b 31 7d 7b |ary{asse|rtz}{1}{|
|00000c70| 41 64 64 20 61 20 63 6c | 61 75 73 65 20 74 6f 20 |Add a cl|ause to |
|00000c80| 74 68 65 20 64 61 74 61 | 62 61 73 65 20 28 6c 61 |the data|base (la|
|00000c90| 73 74 29 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |st)}.\pr|edicates|
|00000ca0| 75 6d 6d 61 72 79 7b 61 | 73 73 65 72 74 7a 7d 7b |ummary{a|ssertz}{|
|00000cb0| 32 7d 7b 41 64 64 20 61 | 20 63 6c 61 75 73 65 20 |2}{Add a| clause |
|00000cc0| 74 6f 20 74 68 65 20 64 | 61 74 61 62 61 73 65 20 |to the d|atabase |
|00000cd0| 28 6c 61 73 74 29 7d 0a | 5c 70 72 65 64 69 63 61 |(last)}.|\predica|
|00000ce0| 74 65 73 75 6d 6d 61 72 | 79 7b 61 74 5f 65 6e 64 |tesummar|y{at_end|
|00000cf0| 5f 6f 66 5f 73 74 72 65 | 61 6d 7d 7b 30 7d 7b 54 |_of_stre|am}{0}{T|
|00000d00| 65 73 74 20 66 6f 72 20 | 65 6e 64 20 6f 66 20 66 |est for |end of f|
|00000d10| 69 6c 65 20 6f 6e 20 69 | 6e 70 75 74 7d 0a 5c 70 |ile on i|nput}.\p|
|00000d20| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|00000d30| 61 74 5f 65 6e 64 5f 6f | 66 5f 73 74 72 65 61 6d |at_end_o|f_stream|
|00000d40| 7d 7b 31 7d 7b 54 65 73 | 74 20 66 6f 72 20 65 6e |}{1}{Tes|t for en|
|00000d50| 64 20 6f 66 20 66 69 6c | 65 20 6f 6e 20 73 74 72 |d of fil|e on str|
|00000d60| 65 61 6d 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |eam}.\pr|edicates|
|00000d70| 75 6d 6d 61 72 79 7b 61 | 74 5f 68 61 6c 74 7d 7b |ummary{a|t_halt}{|
|00000d80| 31 7d 7b 52 65 67 69 73 | 74 65 72 20 67 6f 61 6c |1}{Regis|ter goal|
|00000d90| 20 74 6f 20 72 75 6e 20 | 61 74 20 68 61 6c 74 2f | to run |at halt/|
|00000da0| 31 7d 0a 5c 70 72 65 64 | 69 63 61 74 65 73 75 6d |1}.\pred|icatesum|
|00000db0| 6d 61 72 79 7b 61 74 5f | 69 6e 69 74 69 61 6c 69 |mary{at_|initiali|
|00000dc0| 7a 61 74 69 6f 6e 7d 7b | 31 7d 7b 52 65 67 69 73 |zation}{|1}{Regis|
|00000dd0| 74 65 72 20 67 6f 61 6c | 20 74 6f 20 72 75 6e 20 |ter goal| to run |
|00000de0| 61 74 20 73 74 61 72 74 | 2d 75 70 7d 0a 5c 70 72 |at start|-up}.\pr|
|00000df0| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 61 |edicates|ummary{a|
|00000e00| 74 6f 6d 7d 7b 31 7d 7b | 54 79 70 65 20 63 68 65 |tom}{1}{|Type che|
|00000e10| 63 6b 20 66 6f 72 20 61 | 6e 20 61 74 6f 6d 7d 0a |ck for a|n atom}.|
|00000e20| 5c 70 72 65 64 69 63 61 | 74 65 73 75 6d 6d 61 72 |\predica|tesummar|
|00000e30| 79 7b 61 74 6f 6d 5f 63 | 68 61 72 7d 7b 32 7d 7b |y{atom_c|har}{2}{|
|00000e40| 43 6f 6e 76 65 72 74 20 | 62 65 74 77 65 65 6e 20 |Convert |between |
|00000e50| 61 74 6f 6d 20 61 6e 64 | 20 41 53 43 49 49 20 76 |atom and| ASCII v|
|00000e60| 61 6c 75 65 7d 0a 5c 70 | 72 65 64 69 63 61 74 65 |alue}.\p|redicate|
|00000e70| 73 75 6d 6d 61 72 79 7b | 61 74 6f 6d 5f 63 68 61 |summary{|atom_cha|
|00000e80| 72 73 7d 7b 32 7d 7b 43 | 6f 6e 76 65 72 74 20 62 |rs}{2}{C|onvert b|
|00000e90| 65 74 77 65 65 6e 20 61 | 74 6f 6d 20 61 6e 64 20 |etween a|tom and |
|00000ea0| 6c 69 73 74 20 6f 66 20 | 41 53 43 49 49 20 76 61 |list of |ASCII va|
|00000eb0| 6c 75 65 73 7d 0a 5c 70 | 72 65 64 69 63 61 74 65 |lues}.\p|redicate|
|00000ec0| 73 75 6d 6d 61 72 79 7b | 61 74 6f 6d 5f 6c 65 6e |summary{|atom_len|
|00000ed0| 67 74 68 7d 7b 32 7d 7b | 44 65 74 65 72 6d 69 6e |gth}{2}{|Determin|
|00000ee0| 65 20 6c 65 6e 67 74 68 | 20 6f 66 20 61 6e 20 61 |e length| of an a|
|00000ef0| 74 6f 6d 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |tom}.\pr|edicates|
|00000f00| 75 6d 6d 61 72 79 7b 61 | 74 6f 6d 5f 70 72 65 66 |ummary{a|tom_pref|
|00000f10| 69 78 7d 7b 32 7d 7b 54 | 65 73 74 20 66 6f 72 20 |ix}{2}{T|est for |
|00000f20| 73 74 61 72 74 20 6f 66 | 20 61 74 6f 6d 7d 0a 5c |start of| atom}.\|
|00000f30| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|00000f40| 7b 61 74 6f 6d 5f 74 6f | 5f 74 65 72 6d 7d 7b 33 |{atom_to|_term}{3|
|00000f50| 7d 7b 43 6f 6e 76 65 72 | 74 20 62 65 74 77 65 65 |}{Conver|t betwee|
|00000f60| 6e 20 61 74 6f 6d 20 61 | 6e 64 20 74 65 72 6d 7d |n atom a|nd term}|
|00000f70| 0a 5c 70 72 65 64 69 63 | 61 74 65 73 75 6d 6d 61 |.\predic|atesumma|
|00000f80| 72 79 7b 61 74 6f 6d 69 | 63 7d 7b 31 7d 7b 54 79 |ry{atomi|c}{1}{Ty|
|00000f90| 70 65 20 63 68 65 63 6b | 20 66 6f 72 20 70 72 69 |pe check| for pri|
|00000fa0| 6d 69 74 69 76 65 7d 0a | 5c 70 72 65 64 69 63 61 |mitive}.|\predica|
|00000fb0| 74 65 73 75 6d 6d 61 72 | 79 7b 61 75 74 6f 6c 6f |tesummar|y{autolo|
|00000fc0| 61 64 7d 7b 30 7d 7b 41 | 75 74 6f 6c 6f 61 64 20 |ad}{0}{A|utoload |
|00000fd0| 61 6c 6c 20 70 72 65 64 | 69 63 61 74 65 73 20 6e |all pred|icates n|
|00000fe0| 6f 77 7d 0a 5c 70 72 65 | 64 69 63 61 74 65 73 75 |ow}.\pre|dicatesu|
|00000ff0| 6d 6d 61 72 79 7b 62 61 | 67 6f 66 7d 7b 33 7d 7b |mmary{ba|gof}{3}{|
|00001000| 46 69 6e 64 20 61 6c 6c | 20 73 6f 6c 75 74 69 6f |Find all| solutio|
|00001010| 6e 73 20 74 6f 20 61 20 | 67 6f 61 6c 7d 0a 5c 70 |ns to a |goal}.\p|
|00001020| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|00001030| 62 65 74 77 65 65 6e 7d | 7b 33 7d 7b 49 6e 74 65 |between}|{3}{Inte|
|00001040| 67 65 72 20 72 61 6e 67 | 65 20 63 68 65 63 6b 69 |ger rang|e checki|
|00001050| 6e 67 2f 67 65 6e 65 72 | 61 74 69 6e 67 7d 0a 5c |ng/gener|ating}.\|
|00001060| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|00001070| 7b 62 6c 6f 63 6b 7d 7b | 33 7d 7b 53 74 61 72 74 |{block}{|3}{Start|
|00001080| 20 61 20 62 6c 6f 63 6b | 20 28 60 63 61 74 63 68 | a block| (`catch|
|00001090| 27 2f 60 74 68 72 6f 77 | 27 29 7d 0a 5c 70 72 65 |'/`throw|')}.\pre|
|000010a0| 64 69 63 61 74 65 73 75 | 6d 6d 61 72 79 7b 62 72 |dicatesu|mmary{br|
|000010b0| 65 61 6b 7d 7b 30 7d 7b | 53 74 61 72 74 20 69 6e |eak}{0}{|Start in|
|000010c0| 74 65 72 61 63 74 69 76 | 65 20 74 6f 70 6c 65 76 |teractiv|e toplev|
|000010d0| 65 6c 7d 0a 5c 70 72 65 | 64 69 63 61 74 65 73 75 |el}.\pre|dicatesu|
|000010e0| 6d 6d 61 72 79 7b 63 61 | 6c 6c 7d 7b 31 7d 7b 43 |mmary{ca|ll}{1}{C|
|000010f0| 61 6c 6c 20 61 20 67 6f | 61 6c 7d 0a 5c 70 72 65 |all a go|al}.\pre|
|00001100| 64 69 63 61 74 65 73 75 | 6d 6d 61 72 79 7b 63 61 |dicatesu|mmary{ca|
|00001110| 6c 6c 7d 7b 5b 32 2e 2e | 5d 7d 7b 43 61 6c 6c 20 |ll}{[2..|]}{Call |
|00001120| 77 69 74 68 20 61 64 64 | 69 74 69 6f 6e 61 6c 20 |with add|itional |
|00001130| 61 72 67 75 6d 65 6e 74 | 73 7d 0a 5c 70 72 65 64 |argument|s}.\pred|
|00001140| 69 63 61 74 65 73 75 6d | 6d 61 72 79 7b 63 61 6c |icatesum|mary{cal|
|00001150| 6c 5f 64 6c 6c 5f 66 75 | 6e 63 74 69 6f 6e 7d 7b |l_dll_fu|nction}{|
|00001160| 32 7d 7b 57 69 6e 33 32 | 3a 20 43 61 6c 6c 20 66 |2}{Win32|: Call f|
|00001170| 75 6e 63 74 69 6f 6e 20 | 69 6e 20 64 79 6e 61 6d |unction |in dynam|
|00001180| 69 63 20 6c 69 6e 6b 20 | 6c 69 62 72 61 72 79 20 |ic link |library |
|00001190| 28 2e 64 6c 6c 20 66 69 | 6c 65 29 7d 0a 5c 70 72 |(.dll fi|le)}.\pr|
|000011a0| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 63 |edicates|ummary{c|
|000011b0| 61 6c 6c 5f 73 68 61 72 | 65 64 5f 6f 62 6a 65 63 |all_shar|ed_objec|
|000011c0| 74 5f 66 75 6e 63 74 69 | 6f 6e 7d 7b 32 7d 7b 55 |t_functi|on}{2}{U|
|000011d0| 4e 49 58 3a 20 20 43 61 | 6c 6c 20 43 2d 66 75 6e |NIX: Ca|ll C-fun|
|000011e0| 63 74 69 6f 6e 20 69 6e | 20 73 68 61 72 65 64 20 |ction in| shared |
|000011f0| 28 2e 73 6f 29 20 66 69 | 6c 65 7d 0a 5c 70 72 65 |(.so) fi|le}.\pre|
|00001200| 64 69 63 61 74 65 73 75 | 6d 6d 61 72 79 7b 63 61 |dicatesu|mmary{ca|
|00001210| 6c 6c 5f 77 69 74 68 5f | 64 65 70 74 68 5f 6c 69 |ll_with_|depth_li|
|00001220| 6d 69 74 7d 7b 33 7d 7b | 50 72 6f 76 65 20 67 6f |mit}{3}{|Prove go|
|00001230| 61 6c 20 77 69 74 68 20 | 62 6f 75 6e 64 65 64 20 |al with |bounded |
|00001240| 64 65 70 74 68 7d 0a 5c | 70 72 65 64 69 63 61 74 |depth}.\|predicat|
|00001250| 65 73 75 6d 6d 61 72 79 | 7b 63 61 74 63 68 7d 7b |esummary|{catch}{|
|00001260| 33 7d 7b 43 61 6c 6c 20 | 67 6f 61 6c 2c 20 77 61 |3}{Call |goal, wa|
|00001270| 74 63 68 69 6e 67 20 66 | 6f 72 20 65 78 63 65 70 |tching f|or excep|
|00001280| 74 69 6f 6e 73 7d 0a 5c | 70 72 65 64 69 63 61 74 |tions}.\|predicat|
|00001290| 65 73 75 6d 6d 61 72 79 | 7b 63 68 61 72 61 63 74 |esummary|{charact|
|000012a0| 65 72 5f 63 6f 75 6e 74 | 7d 7b 32 7d 7b 47 65 74 |er_count|}{2}{Get|
|000012b0| 20 63 68 61 72 61 63 74 | 65 72 20 69 6e 64 65 78 | charact|er index|
|000012c0| 20 6f 6e 20 61 20 73 74 | 72 65 61 6d 7d 0a 5c 70 | on a st|ream}.\p|
|000012d0| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|000012e0| 63 68 64 69 72 7d 7b 31 | 7d 7b 43 68 61 6e 67 65 |chdir}{1|}{Change|
|000012f0| 20 77 6f 72 6b 69 6e 67 | 20 64 69 72 65 63 74 6f | working| directo|
|00001300| 72 79 7d 0a 5c 70 72 65 | 64 69 63 61 74 65 73 75 |ry}.\pre|dicatesu|
|00001310| 6d 6d 61 72 79 7b 63 68 | 65 63 6b 6c 69 73 74 7d |mmary{ch|ecklist}|
|00001320| 7b 32 7d 7b 49 6e 76 6f | 6b 65 20 67 6f 61 6c 20 |{2}{Invo|ke goal |
|00001330| 6f 6e 20 61 6c 6c 20 6d | 65 6d 62 65 72 73 20 6f |on all m|embers o|
|00001340| 66 20 61 20 6c 69 73 74 | 7d 0a 5c 70 72 65 64 69 |f a list|}.\predi|
|00001350| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 63 6c 61 75 |catesumm|ary{clau|
|00001360| 73 65 7d 7b 32 7d 7b 47 | 65 74 20 63 6c 61 75 73 |se}{2}{G|et claus|
|00001370| 65 73 20 6f 66 20 61 20 | 70 72 65 64 69 63 61 74 |es of a |predicat|
|00001380| 65 7d 0a 5c 70 72 65 64 | 69 63 61 74 65 73 75 6d |e}.\pred|icatesum|
|00001390| 6d 61 72 79 7b 63 6c 61 | 75 73 65 7d 7b 33 7d 7b |mary{cla|use}{3}{|
|000013a0| 47 65 74 20 63 6c 61 75 | 73 65 73 20 6f 66 20 61 |Get clau|ses of a|
|000013b0| 20 70 72 65 64 69 63 61 | 74 65 7d 0a 5c 70 72 65 | predica|te}.\pre|
|000013c0| 64 69 63 61 74 65 73 75 | 6d 6d 61 72 79 7b 63 6c |dicatesu|mmary{cl|
|000013d0| 61 75 73 65 5f 70 72 6f | 70 65 72 74 79 7d 7b 32 |ause_pro|perty}{2|
|000013e0| 7d 7b 47 65 74 20 70 72 | 6f 70 65 72 74 69 65 73 |}{Get pr|operties|
|000013f0| 20 6f 66 20 61 20 63 6c | 61 75 73 65 7d 0a 5c 70 | of a cl|ause}.\p|
|00001400| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|00001410| 63 6c 6f 73 65 7d 7b 31 | 7d 7b 43 6c 6f 73 65 20 |close}{1|}{Close |
|00001420| 73 74 72 65 61 6d 7d 0a | 5c 70 72 65 64 69 63 61 |stream}.|\predica|
|00001430| 74 65 73 75 6d 6d 61 72 | 79 7b 63 6c 6f 73 65 5f |tesummar|y{close_|
|00001440| 64 64 65 5f 63 6f 6e 76 | 65 72 73 61 74 69 6f 6e |dde_conv|ersation|
|00001450| 7d 7b 31 7d 7b 57 69 6e | 33 32 3a 20 43 6c 6f 73 |}{1}{Win|32: Clos|
|00001460| 65 20 44 44 45 20 63 68 | 61 6e 6e 65 6c 7d 0a 5c |e DDE ch|annel}.\|
|00001470| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|00001480| 7b 63 6c 6f 73 65 5f 64 | 6c 6c 7d 7b 31 7d 7b 57 |{close_d|ll}{1}{W|
|00001490| 69 6e 33 32 3a 20 43 6c | 6f 73 65 20 64 79 6e 61 |in32: Cl|ose dyna|
|000014a0| 6d 69 63 20 6c 69 6e 6b | 20 6c 69 62 72 61 72 79 |mic link| library|
|000014b0| 20 28 2e 64 6c 6c 20 66 | 69 6c 65 29 7d 0a 5c 70 | (.dll f|ile)}.\p|
|000014c0| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|000014d0| 63 6c 6f 73 65 5f 73 68 | 61 72 65 64 5f 6f 62 6a |close_sh|ared_obj|
|000014e0| 65 63 74 7d 7b 31 7d 7b | 55 4e 49 58 3a 20 20 43 |ect}{1}{|UNIX: C|
|000014f0| 6c 6f 73 65 20 73 68 61 | 72 65 64 20 6c 69 62 72 |lose sha|red libr|
|00001500| 61 72 79 20 28 2e 73 6f | 20 66 69 6c 65 29 7d 0a |ary (.so| file)}.|
|00001510| 5c 70 72 65 64 69 63 61 | 74 65 73 75 6d 6d 61 72 |\predica|tesummar|
|00001520| 79 7b 63 6f 6d 70 61 72 | 65 7d 7b 33 7d 7b 43 6f |y{compar|e}{3}{Co|
|00001530| 6d 70 61 72 65 2c 20 75 | 73 69 6e 67 20 61 20 70 |mpare, u|sing a p|
|00001540| 72 65 64 69 63 61 74 65 | 20 74 6f 20 64 65 74 65 |redicate| to dete|
|00001550| 72 6d 69 6e 65 20 74 68 | 65 20 6f 72 64 65 72 7d |rmine th|e order}|
|00001560| 0a 5c 70 72 65 64 69 63 | 61 74 65 73 75 6d 6d 61 |.\predic|atesumma|
|00001570| 72 79 7b 63 6f 6d 70 69 | 6c 69 6e 67 7d 7b 30 7d |ry{compi|ling}{0}|
|00001580| 7b 49 73 20 74 68 69 73 | 20 61 20 63 6f 6d 70 69 |{Is this| a compi|
|00001590| 6c 61 74 69 6f 6e 20 72 | 75 6e 3f 7d 0a 5c 70 72 |lation r|un?}.\pr|
|000015a0| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 63 |edicates|ummary{c|
|000015b0| 6f 6d 70 6f 75 6e 64 7d | 7b 31 7d 7b 54 65 73 74 |ompound}|{1}{Test|
|000015c0| 20 66 6f 72 20 63 6f 6d | 70 6f 75 6e 64 20 74 65 | for com|pound te|
|000015d0| 72 6d 7d 0a 5c 70 72 65 | 64 69 63 61 74 65 73 75 |rm}.\pre|dicatesu|
|000015e0| 6d 6d 61 72 79 7b 63 6f | 6e 63 61 74 7d 7b 33 7d |mmary{co|ncat}{3}|
|000015f0| 7b 41 70 70 65 6e 64 20 | 74 77 6f 20 61 74 6f 6d |{Append |two atom|
|00001600| 73 7d 0a 5c 70 72 65 64 | 69 63 61 74 65 73 75 6d |s}.\pred|icatesum|
|00001610| 6d 61 72 79 7b 63 6f 6e | 63 61 74 5f 61 74 6f 6d |mary{con|cat_atom|
|00001620| 7d 7b 32 7d 7b 41 70 70 | 65 6e 64 20 61 20 6c 69 |}{2}{App|end a li|
|00001630| 73 74 20 6f 66 20 61 74 | 6f 6d 73 7d 0a 5c 70 72 |st of at|oms}.\pr|
|00001640| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 63 |edicates|ummary{c|
|00001650| 6f 6e 63 61 74 5f 61 74 | 6f 6d 7d 7b 33 7d 7b 41 |oncat_at|om}{3}{A|
|00001660| 70 70 65 6e 64 20 61 20 | 6c 69 73 74 20 6f 66 20 |ppend a |list of |
|00001670| 61 74 6f 6d 73 20 77 69 | 74 68 20 73 65 70 61 72 |atoms wi|th separ|
|00001680| 61 74 6f 72 7d 0a 5c 70 | 72 65 64 69 63 61 74 65 |ator}.\p|redicate|
|00001690| 73 75 6d 6d 61 72 79 7b | 63 6f 6e 73 75 6c 74 7d |summary{|consult}|
|000016a0| 7b 31 7d 7b 52 65 61 64 | 20 28 63 6f 6d 70 69 6c |{1}{Read| (compil|
|000016b0| 65 29 20 61 20 50 72 6f | 6c 6f 67 20 73 6f 75 72 |e) a Pro|log sour|
|000016c0| 63 65 20 66 69 6c 65 7d | 0a 5c 70 72 65 64 69 63 |ce file}|.\predic|
|000016d0| 61 74 65 73 75 6d 6d 61 | 72 79 7b 63 6f 6e 74 65 |atesumma|ry{conte|
|000016e0| 78 74 5f 6d 6f 64 75 6c | 65 7d 7b 31 7d 7b 47 65 |xt_modul|e}{1}{Ge|
|000016f0| 74 20 63 6f 6e 74 65 78 | 74 20 6d 6f 64 75 6c 65 |t contex|t module|
|00001700| 20 6f 66 20 63 75 72 72 | 65 6e 74 20 67 6f 61 6c | of curr|ent goal|
|00001710| 7d 0a 5c 70 72 65 64 69 | 63 61 74 65 73 75 6d 6d |}.\predi|catesumm|
|00001720| 61 72 79 7b 63 6f 6e 76 | 65 72 74 5f 74 69 6d 65 |ary{conv|ert_time|
|00001730| 7d 7b 38 7d 7b 43 6f 6e | 76 65 72 74 20 74 69 6d |}{8}{Con|vert tim|
|00001740| 65 20 73 74 61 6d 70 7d | 0a 5c 70 72 65 64 69 63 |e stamp}|.\predic|
|00001750| 61 74 65 73 75 6d 6d 61 | 72 79 7b 63 6f 70 79 5f |atesumma|ry{copy_|
|00001760| 74 65 72 6d 7d 7b 32 7d | 7b 4d 61 6b 65 20 61 20 |term}{2}|{Make a |
|00001770| 63 6f 70 79 20 6f 66 20 | 61 20 74 65 72 6d 7d 0a |copy of |a term}.|
|00001780| 5c 70 72 65 64 69 63 61 | 74 65 73 75 6d 6d 61 72 |\predica|tesummar|
|00001790| 79 7b 63 75 72 72 65 6e | 74 5f 61 72 69 74 68 6d |y{curren|t_arithm|
|000017a0| 65 74 69 63 5f 66 75 6e | 63 74 69 6f 6e 7d 7b 31 |etic_fun|ction}{1|
|000017b0| 7d 7b 45 78 61 6d 69 6e | 65 20 65 76 61 6c 75 61 |}{Examin|e evalua|
|000017c0| 62 6c 65 20 66 75 6e 63 | 74 69 6f 6e 73 7d 0a 5c |ble func|tions}.\|
|000017d0| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|000017e0| 7b 63 75 72 72 65 6e 74 | 5f 61 74 6f 6d 7d 7b 31 |{current|_atom}{1|
|000017f0| 7d 7b 45 78 61 6d 69 6e | 65 20 65 78 69 73 74 69 |}{Examin|e existi|
|00001800| 6e 67 20 61 74 6f 6d 73 | 7d 0a 5c 70 72 65 64 69 |ng atoms|}.\predi|
|00001810| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 63 75 72 72 |catesumm|ary{curr|
|00001820| 65 6e 74 5f 66 6c 61 67 | 7d 7b 31 7d 7b 45 78 61 |ent_flag|}{1}{Exa|
|00001830| 6d 69 6e 65 20 65 78 69 | 73 74 69 6e 67 20 66 6c |mine exi|sting fl|
|00001840| 61 67 73 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |ags}.\pr|edicates|
|00001850| 75 6d 6d 61 72 79 7b 63 | 75 72 72 65 6e 74 5f 66 |ummary{c|urrent_f|
|00001860| 6f 72 65 69 67 6e 5f 6c | 69 62 72 61 72 79 7d 7b |oreign_l|ibrary}{|
|00001870| 32 7d 7b 5c 70 6c 6c 69 | 62 7b 73 68 6c 69 62 7d |2}{\plli|b{shlib}|
|00001880| 20 45 78 61 6d 69 6e 65 | 20 6c 6f 61 64 65 64 20 | Examine| loaded |
|00001890| 73 68 61 72 65 64 20 6c | 69 62 72 61 72 69 65 73 |shared l|ibraries|
|000018a0| 20 28 2e 73 6f 20 66 69 | 6c 65 73 29 7d 0a 5c 70 | (.so fi|les)}.\p|
|000018b0| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|000018c0| 63 75 72 72 65 6e 74 5f | 66 75 6e 63 74 6f 72 7d |current_|functor}|
|000018d0| 7b 32 7d 7b 45 78 61 6d | 69 6e 65 20 65 78 69 73 |{2}{Exam|ine exis|
|000018e0| 74 69 6e 67 20 6e 61 6d | 65 2f 61 72 69 74 79 20 |ting nam|e/arity |
|000018f0| 70 61 69 72 73 7d 0a 5c | 70 72 65 64 69 63 61 74 |pairs}.\|predicat|
|00001900| 65 73 75 6d 6d 61 72 79 | 7b 63 75 72 72 65 6e 74 |esummary|{current|
|00001910| 5f 69 6e 70 75 74 7d 7b | 31 7d 7b 47 65 74 20 63 |_input}{|1}{Get c|
|00001920| 75 72 72 65 6e 74 20 69 | 6e 70 75 74 20 73 74 72 |urrent i|nput str|
|00001930| 65 61 6d 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |eam}.\pr|edicates|
|00001940| 75 6d 6d 61 72 79 7b 63 | 75 72 72 65 6e 74 5f 6b |ummary{c|urrent_k|
|00001950| 65 79 7d 7b 31 7d 7b 45 | 78 61 6d 69 6e 65 20 65 |ey}{1}{E|xamine e|
|00001960| 78 69 73 74 69 6e 67 20 | 64 61 74 61 62 61 73 65 |xisting |database|
|00001970| 20 6b 65 79 73 7d 0a 5c | 70 72 65 64 69 63 61 74 | keys}.\|predicat|
|00001980| 65 73 75 6d 6d 61 72 79 | 7b 63 75 72 72 65 6e 74 |esummary|{current|
|00001990| 5f 6d 6f 64 75 6c 65 7d | 7b 31 7d 7b 45 78 61 6d |_module}|{1}{Exam|
|000019a0| 69 6e 65 20 65 78 69 73 | 74 69 6e 67 20 6d 6f 64 |ine exis|ting mod|
|000019b0| 75 6c 65 73 7d 0a 5c 70 | 72 65 64 69 63 61 74 65 |ules}.\p|redicate|
|000019c0| 73 75 6d 6d 61 72 79 7b | 63 75 72 72 65 6e 74 5f |summary{|current_|
|000019d0| 6d 6f 64 75 6c 65 7d 7b | 32 7d 7b 45 78 61 6d 69 |module}{|2}{Exami|
|000019e0| 6e 65 20 65 78 69 73 74 | 69 6e 67 20 6d 6f 64 75 |ne exist|ing modu|
|000019f0| 6c 65 73 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |les}.\pr|edicates|
|00001a00| 75 6d 6d 61 72 79 7b 63 | 75 72 72 65 6e 74 5f 6f |ummary{c|urrent_o|
|00001a10| 70 7d 7b 33 7d 7b 45 78 | 61 6d 69 6e 65 20 63 75 |p}{3}{Ex|amine cu|
|00001a20| 72 72 65 6e 74 20 6f 70 | 65 72 61 74 6f 72 20 64 |rrent op|erator d|
|00001a30| 65 63 6c 61 72 61 74 69 | 6f 6e 73 7d 0a 5c 70 72 |eclarati|ons}.\pr|
|00001a40| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 63 |edicates|ummary{c|
|00001a50| 75 72 72 65 6e 74 5f 6f | 75 74 70 75 74 7d 7b 31 |urrent_o|utput}{1|
|00001a60| 7d 7b 47 65 74 20 74 68 | 65 20 63 75 72 72 65 6e |}{Get th|e curren|
|00001a70| 74 20 6f 75 74 70 75 74 | 20 73 74 72 65 61 6d 7d |t output| stream}|
|00001a80| 0a 5c 70 72 65 64 69 63 | 61 74 65 73 75 6d 6d 61 |.\predic|atesumma|
|00001a90| 72 79 7b 63 75 72 72 65 | 6e 74 5f 70 72 65 64 69 |ry{curre|nt_predi|
|00001aa0| 63 61 74 65 7d 7b 32 7d | 7b 45 78 61 6d 69 6e 65 |cate}{2}|{Examine|
|00001ab0| 20 65 78 69 73 74 69 6e | 67 20 70 72 65 64 69 63 | existin|g predic|
|00001ac0| 61 74 65 73 7d 0a 5c 70 | 72 65 64 69 63 61 74 65 |ates}.\p|redicate|
|00001ad0| 73 75 6d 6d 61 72 79 7b | 63 75 72 72 65 6e 74 5f |summary{|current_|
|00001ae0| 73 74 72 65 61 6d 7d 7b | 33 7d 7b 45 78 61 6d 69 |stream}{|3}{Exami|
|00001af0| 6e 65 20 6f 70 65 6e 20 | 73 74 72 65 61 6d 73 7d |ne open |streams}|
|00001b00| 0a 5c 70 72 65 64 69 63 | 61 74 65 73 75 6d 6d 61 |.\predic|atesumma|
|00001b10| 72 79 7b 64 64 65 5f 63 | 75 72 72 65 6e 74 5f 63 |ry{dde_c|urrent_c|
|00001b20| 6f 6e 6e 65 63 74 69 6f | 6e 7d 7b 32 7d 7b 57 69 |onnectio|n}{2}{Wi|
|00001b30| 6e 33 32 3a 20 45 78 61 | 6d 69 6e 65 20 6f 70 65 |n32: Exa|mine ope|
|00001b40| 6e 20 44 44 45 20 63 6f | 6e 6e 65 63 74 69 6f 6e |n DDE co|nnection|
|00001b50| 73 7d 0a 5c 70 72 65 64 | 69 63 61 74 65 73 75 6d |s}.\pred|icatesum|
|00001b60| 6d 61 72 79 7b 64 64 65 | 5f 63 75 72 72 65 6e 74 |mary{dde|_current|
|00001b70| 5f 73 65 72 76 69 63 65 | 7d 7b 32 7d 7b 57 69 6e |_service|}{2}{Win|
|00001b80| 33 32 3a 20 45 78 61 6d | 69 6e 65 20 44 44 45 20 |32: Exam|ine DDE |
|00001b90| 73 65 72 76 69 63 65 73 | 20 70 72 6f 76 69 64 65 |services| provide|
|00001ba0| 64 7d 0a 5c 70 72 65 64 | 69 63 61 74 65 73 75 6d |d}.\pred|icatesum|
|00001bb0| 6d 61 72 79 7b 64 64 65 | 5f 65 78 65 63 75 74 65 |mary{dde|_execute|
|00001bc0| 7d 7b 32 7d 7b 57 69 6e | 33 32 3a 20 45 78 65 63 |}{2}{Win|32: Exec|
|00001bd0| 75 74 65 20 63 6f 6d 6d | 61 6e 64 20 6f 6e 20 44 |ute comm|and on D|
|00001be0| 44 45 20 73 65 72 76 65 | 72 7d 0a 5c 70 72 65 64 |DE serve|r}.\pred|
|00001bf0| 69 63 61 74 65 73 75 6d | 6d 61 72 79 7b 64 64 65 |icatesum|mary{dde|
|00001c00| 5f 72 65 67 69 73 74 65 | 72 5f 73 65 72 76 69 63 |_registe|r_servic|
|00001c10| 65 7d 7b 32 7d 7b 57 69 | 6e 33 32 3a 20 42 65 63 |e}{2}{Wi|n32: Bec|
|00001c20| 6f 6d 65 20 61 20 44 44 | 45 20 73 65 72 76 65 72 |ome a DD|E server|
|00001c30| 7d 0a 5c 70 72 65 64 69 | 63 61 74 65 73 75 6d 6d |}.\predi|catesumm|
|00001c40| 61 72 79 7b 64 64 65 5f | 72 65 71 75 65 73 74 7d |ary{dde_|request}|
|00001c50| 7b 33 7d 7b 57 69 6e 33 | 32 3a 20 4d 61 6b 65 20 |{3}{Win3|2: Make |
|00001c60| 61 20 44 44 45 20 72 65 | 71 75 65 73 74 7d 0a 5c |a DDE re|quest}.\|
|00001c70| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|00001c80| 7b 64 64 65 5f 70 6f 6b | 65 7d 7b 33 7d 7b 57 69 |{dde_pok|e}{3}{Wi|
|00001c90| 6e 33 32 3a 20 50 4f 4b | 45 20 6f 70 65 72 61 74 |n32: POK|E operat|
|00001ca0| 69 6f 6e 20 6f 6e 20 44 | 44 45 20 73 65 72 76 65 |ion on D|DE serve|
|00001cb0| 72 7d 0a 5c 70 72 65 64 | 69 63 61 74 65 73 75 6d |r}.\pred|icatesum|
|00001cc0| 6d 61 72 79 7b 64 64 65 | 5f 75 6e 72 65 67 69 73 |mary{dde|_unregis|
|00001cd0| 74 65 72 5f 73 65 72 76 | 69 63 65 7d 7b 31 7d 7b |ter_serv|ice}{1}{|
|00001ce0| 57 69 6e 33 32 3a 20 54 | 65 72 6d 69 6e 61 74 65 |Win32: T|erminate|
|00001cf0| 20 61 20 44 44 45 20 73 | 65 72 76 69 63 65 7d 0a | a DDE s|ervice}.|
|00001d00| 5c 70 72 65 64 69 63 61 | 74 65 73 75 6d 6d 61 72 |\predica|tesummar|
|00001d10| 79 7b 64 65 62 75 67 7d | 7b 30 7d 7b 54 65 73 74 |y{debug}|{0}{Test|
|00001d20| 20 66 6f 72 20 64 65 62 | 75 67 67 69 6e 67 20 6d | for deb|ugging m|
|00001d30| 6f 64 65 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |ode}.\pr|edicates|
|00001d40| 75 6d 6d 61 72 79 7b 64 | 65 62 75 67 67 69 6e 67 |ummary{d|ebugging|
|00001d50| 7d 7b 30 7d 7b 53 68 6f | 77 20 64 65 62 75 67 67 |}{0}{Sho|w debugg|
|00001d60| 65 72 20 73 74 61 74 75 | 73 7d 0a 5c 70 72 65 64 |er statu|s}.\pred|
|00001d70| 69 63 61 74 65 73 75 6d | 6d 61 72 79 7b 64 65 66 |icatesum|mary{def|
|00001d80| 61 75 6c 74 5f 6d 6f 64 | 75 6c 65 7d 7b 32 7d 7b |ault_mod|ule}{2}{|
|00001d90| 47 65 74 20 74 68 65 20 | 64 65 66 61 75 6c 74 20 |Get the |default |
|00001da0| 6d 6f 64 75 6c 65 73 20 | 6f 66 20 61 20 6d 6f 64 |modules |of a mod|
|00001db0| 75 6c 65 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |ule}.\pr|edicates|
|00001dc0| 75 6d 6d 61 72 79 7b 64 | 65 6c 65 74 65 7d 7b 33 |ummary{d|elete}{3|
|00001dd0| 7d 7b 44 65 6c 65 74 65 | 20 61 6c 6c 20 6d 61 74 |}{Delete| all mat|
|00001de0| 63 68 69 6e 67 20 6d 65 | 6d 62 65 72 73 20 66 72 |ching me|mbers fr|
|00001df0| 6f 6d 20 61 20 6c 69 73 | 74 7d 0a 5c 70 72 65 64 |om a lis|t}.\pred|
|00001e00| 69 63 61 74 65 73 75 6d | 6d 61 72 79 7b 64 65 6c |icatesum|mary{del|
|00001e10| 65 74 65 5f 66 69 6c 65 | 7d 7b 31 7d 7b 52 65 6d |ete_file|}{1}{Rem|
|00001e20| 6f 76 65 20 61 20 66 69 | 6c 65 20 66 72 6f 6d 20 |ove a fi|le from |
|00001e30| 74 68 65 20 66 69 6c 65 | 20 73 79 73 74 65 6d 7d |the file| system}|
|00001e40| 0a 5c 6f 70 70 72 65 64 | 73 75 6d 6d 61 72 79 7b |.\oppred|summary{|
|00001e50| 64 69 73 63 6f 6e 74 69 | 67 75 6f 75 73 7d 7b 31 |disconti|guous}{1|
|00001e60| 7d 7b 66 78 7d 7b 31 31 | 35 30 7d 7b 49 6e 64 69 |}{fx}{11|50}{Indi|
|00001e70| 63 61 74 65 20 64 69 73 | 74 72 69 62 75 74 65 64 |cate dis|tributed|
|00001e80| 20 64 65 66 69 6e 69 74 | 69 6f 6e 20 6f 66 20 61 | definit|ion of a|
|00001e90| 20 70 72 65 64 69 63 61 | 74 65 7d 0a 5c 70 72 65 | predica|te}.\pre|
|00001ea0| 64 69 63 61 74 65 73 75 | 6d 6d 61 72 79 7b 64 75 |dicatesu|mmary{du|
|00001eb0| 70 5f 73 74 72 65 61 6d | 7d 7b 32 7d 7b 44 75 70 |p_stream|}{2}{Dup|
|00001ec0| 6c 69 63 61 74 65 20 49 | 2f 4f 20 73 74 72 65 61 |licate I|/O strea|
|00001ed0| 6d 73 7d 0a 5c 70 72 65 | 64 69 63 61 74 65 73 75 |ms}.\pre|dicatesu|
|00001ee0| 6d 6d 61 72 79 7b 64 77 | 69 6d 5f 6d 61 74 63 68 |mmary{dw|im_match|
|00001ef0| 7d 7b 32 7d 7b 41 74 6f | 6d 73 20 6d 61 74 63 68 |}{2}{Ato|ms match|
|00001f00| 20 69 6e 20 60 60 44 6f | 20 57 68 61 74 20 49 20 | in ``Do| What I |
|00001f10| 4d 65 61 6e 27 27 20 73 | 65 6e 73 65 7d 0a 5c 70 |Mean'' s|ense}.\p|
|00001f20| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|00001f30| 64 77 69 6d 5f 6d 61 74 | 63 68 7d 7b 33 7d 7b 41 |dwim_mat|ch}{3}{A|
|00001f40| 74 6f 6d 73 20 6d 61 74 | 63 68 20 69 6e 20 60 60 |toms mat|ch in ``|
|00001f50| 44 6f 20 57 68 61 74 20 | 49 20 4d 65 61 6e 27 27 |Do What |I Mean''|
|00001f60| 20 73 65 6e 73 65 7d 0a | 5c 70 72 65 64 69 63 61 | sense}.|\predica|
|00001f70| 74 65 73 75 6d 6d 61 72 | 79 7b 64 77 69 6d 5f 70 |tesummar|y{dwim_p|
|00001f80| 72 65 64 69 63 61 74 65 | 7d 7b 32 7d 7b 46 69 6e |redicate|}{2}{Fin|
|00001f90| 64 20 70 72 65 64 69 63 | 61 74 65 20 69 6e 20 60 |d predic|ate in `|
|00001fa0| 60 44 6f 20 57 68 61 74 | 20 49 20 4d 65 61 6e 27 |`Do What| I Mean'|
|00001fb0| 27 20 73 65 6e 73 65 7d | 0a 5c 6f 70 70 72 65 64 |' sense}|.\oppred|
|00001fc0| 73 75 6d 6d 61 72 79 7b | 64 79 6e 61 6d 69 63 7d |summary{|dynamic}|
|00001fd0| 7b 31 7d 7b 66 78 7d 7b | 31 31 35 30 7d 7b 49 6e |{1}{fx}{|1150}{In|
|00001fe0| 64 69 63 61 74 65 20 70 | 72 65 64 69 63 61 74 65 |dicate p|redicate|
|00001ff0| 20 64 65 66 69 6e 69 74 | 69 6f 6e 20 6d 61 79 20 | definit|ion may |
|00002000| 63 68 61 6e 67 65 7d 0a | 5c 70 72 65 64 69 63 61 |change}.|\predica|
|00002010| 74 65 73 75 6d 6d 61 72 | 79 7b 65 64 7d 7b 30 7d |tesummar|y{ed}{0}|
|00002020| 7b 45 64 69 74 20 6c 61 | 73 74 20 65 64 69 74 65 |{Edit la|st edite|
|00002030| 64 20 70 72 65 64 69 63 | 61 74 65 7d 0a 5c 70 72 |d predic|ate}.\pr|
|00002040| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 65 |edicates|ummary{e|
|00002050| 64 7d 7b 31 7d 7b 45 64 | 69 74 20 61 20 70 72 65 |d}{1}{Ed|it a pre|
|00002060| 64 69 63 61 74 65 7d 0a | 5c 70 72 65 64 69 63 61 |dicate}.|\predica|
|00002070| 74 65 73 75 6d 6d 61 72 | 79 7b 65 64 69 74 7d 7b |tesummar|y{edit}{|
|00002080| 30 7d 7b 45 64 69 74 20 | 6c 61 73 74 20 65 64 69 |0}{Edit |last edi|
|00002090| 74 65 64 20 66 69 6c 65 | 7d 0a 5c 70 72 65 64 69 |ted file|}.\predi|
|000020a0| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 65 64 69 74 |catesumm|ary{edit|
|000020b0| 7d 7b 31 7d 7b 45 64 69 | 74 20 61 20 66 69 6c 65 |}{1}{Edi|t a file|
|000020c0| 7d 0a 5c 70 72 65 64 69 | 63 61 74 65 73 75 6d 6d |}.\predi|catesumm|
|000020d0| 61 72 79 7b 65 64 69 74 | 5f 73 6f 75 72 63 65 7d |ary{edit|_source}|
|000020e0| 7b 31 7d 7b 5c 68 6f 6f | 6b 7b 75 73 65 72 7d 20 |{1}{\hoo|k{user} |
|000020f0| 49 6e 74 65 72 63 65 70 | 74 20 65 64 69 74 69 6e |Intercep|t editin|
|00002100| 67 7d 0a 5c 70 72 65 64 | 69 63 61 74 65 73 75 6d |g}.\pred|icatesum|
|00002110| 6d 61 72 79 7b 65 6e 73 | 75 72 65 5f 6c 6f 61 64 |mary{ens|ure_load|
|00002120| 65 64 7d 7b 31 7d 7b 43 | 6f 6e 73 75 6c 74 20 61 |ed}{1}{C|onsult a|
|00002130| 20 66 69 6c 65 20 69 66 | 20 74 68 61 74 20 68 61 | file if| that ha|
|00002140| 73 20 6e 6f 74 20 79 65 | 74 20 62 65 65 6e 20 64 |s not ye|t been d|
|00002150| 6f 6e 65 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |one}.\pr|edicates|
|00002160| 75 6d 6d 61 72 79 7b 65 | 72 61 73 65 7d 7b 31 7d |ummary{e|rase}{1}|
|00002170| 7b 45 72 61 73 65 20 61 | 20 64 61 74 61 62 61 73 |{Erase a| databas|
|00002180| 65 20 72 65 63 6f 72 64 | 20 6f 72 20 63 6c 61 75 |e record| or clau|
|00002190| 73 65 7d 0a 5c 70 72 65 | 64 69 63 61 74 65 73 75 |se}.\pre|dicatesu|
|000021a0| 6d 6d 61 72 79 7b 65 78 | 63 65 70 74 69 6f 6e 7d |mmary{ex|ception}|
|000021b0| 7b 33 7d 7b 5c 68 6f 6f | 6b 7b 75 73 65 72 7d 20 |{3}{\hoo|k{user} |
|000021c0| 48 61 6e 64 6c 65 20 72 | 75 6e 74 69 6d 65 20 65 |Handle r|untime e|
|000021d0| 78 63 65 70 74 69 6f 6e | 73 7d 0a 5c 70 72 65 64 |xception|s}.\pred|
|000021e0| 69 63 61 74 65 73 75 6d | 6d 61 72 79 7b 65 78 69 |icatesum|mary{exi|
|000021f0| 73 74 73 5f 64 69 72 65 | 63 74 6f 72 79 7d 7b 31 |sts_dire|ctory}{1|
|00002200| 7d 7b 43 68 65 63 6b 20 | 65 78 69 73 74 65 6e 63 |}{Check |existenc|
|00002210| 65 20 6f 66 20 64 69 72 | 65 63 74 6f 72 79 7d 0a |e of dir|ectory}.|
|00002220| 5c 70 72 65 64 69 63 61 | 74 65 73 75 6d 6d 61 72 |\predica|tesummar|
|00002230| 79 7b 65 78 69 73 74 73 | 5f 66 69 6c 65 7d 7b 31 |y{exists|_file}{1|
|00002240| 7d 7b 43 68 65 63 6b 20 | 65 78 69 73 74 65 6e 63 |}{Check |existenc|
|00002250| 65 20 6f 66 20 66 69 6c | 65 7d 0a 5c 70 72 65 64 |e of fil|e}.\pred|
|00002260| 69 63 61 74 65 73 75 6d | 6d 61 72 79 7b 65 78 69 |icatesum|mary{exi|
|00002270| 74 7d 7b 32 7d 7b 45 78 | 69 74 20 66 72 6f 6d 20 |t}{2}{Ex|it from |
|00002280| 6e 61 6d 65 64 20 62 6c | 6f 63 6b 2e 20 53 65 65 |named bl|ock. See|
|00002290| 20 62 6c 6f 63 6b 2f 33 | 7d 0a 5c 70 72 65 64 69 | block/3|}.\predi|
|000022a0| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 65 78 70 61 |catesumm|ary{expa|
|000022b0| 6e 64 5f 61 6e 73 77 65 | 72 7d 7b 32 7d 7b 45 78 |nd_answe|r}{2}{Ex|
|000022c0| 70 61 6e 64 20 61 6e 73 | 77 65 72 20 6f 66 20 71 |pand ans|wer of q|
|000022d0| 75 65 72 79 7d 0a 5c 70 | 72 65 64 69 63 61 74 65 |uery}.\p|redicate|
|000022e0| 73 75 6d 6d 61 72 79 7b | 65 78 70 61 6e 64 5f 66 |summary{|expand_f|
|000022f0| 69 6c 65 5f 6e 61 6d 65 | 7d 7b 32 7d 7b 57 69 6c |ile_name|}{2}{Wil|
|00002300| 64 63 61 72 64 20 65 78 | 70 61 6e 73 69 6f 6e 20 |dcard ex|pansion |
|00002310| 6f 66 20 66 69 6c 65 20 | 6e 61 6d 65 73 7d 0a 5c |of file |names}.\|
|00002320| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|00002330| 7b 65 78 70 61 6e 64 5f | 66 69 6c 65 5f 73 65 61 |{expand_|file_sea|
|00002340| 72 63 68 5f 70 61 74 68 | 7d 7b 32 7d 7b 57 69 6c |rch_path|}{2}{Wil|
|00002350| 64 63 61 72 64 20 65 78 | 70 61 6e 73 69 6f 6e 20 |dcard ex|pansion |
|00002360| 6f 66 20 66 69 6c 65 20 | 70 61 74 68 73 7d 0a 5c |of file |paths}.\|
|00002370| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|00002380| 7b 65 78 70 61 6e 64 5f | 71 75 65 72 79 7d 7b 34 |{expand_|query}{4|
|00002390| 7d 7b 45 78 70 61 6e 64 | 65 64 20 65 6e 74 65 72 |}{Expand|ed enter|
|000023a0| 65 64 20 71 75 65 72 79 | 7d 0a 5c 70 72 65 64 69 |ed query|}.\predi|
|000023b0| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 65 78 70 61 |catesumm|ary{expa|
|000023c0| 6e 64 5f 74 65 72 6d 7d | 7b 32 7d 7b 43 6f 6d 70 |nd_term}|{2}{Comp|
|000023d0| 69 6c 65 72 3a 20 65 78 | 70 61 6e 64 20 72 65 61 |iler: ex|pand rea|
|000023e0| 64 20 74 65 72 6d 20 69 | 6e 74 6f 20 63 6c 61 75 |d term i|nto clau|
|000023f0| 73 65 28 73 29 7d 0a 5c | 70 72 65 64 69 63 61 74 |se(s)}.\|predicat|
|00002400| 65 73 75 6d 6d 61 72 79 | 7b 65 78 70 6c 61 69 6e |esummary|{explain|
|00002410| 7d 7b 31 7d 7b 5c 70 6c | 6c 69 62 7b 65 78 70 6c |}{1}{\pl|lib{expl|
|00002420| 61 69 6e 7d 20 45 78 70 | 6c 61 69 6e 20 61 72 67 |ain} Exp|lain arg|
|00002430| 75 6d 65 6e 74 7d 0a 5c | 70 72 65 64 69 63 61 74 |ument}.\|predicat|
|00002440| 65 73 75 6d 6d 61 72 79 | 7b 65 78 70 6c 61 69 6e |esummary|{explain|
|00002450| 7d 7b 32 7d 7b 5c 70 6c | 6c 69 62 7b 65 78 70 6c |}{2}{\pl|lib{expl|
|00002460| 61 69 6e 7d 20 32 6e 64 | 20 61 72 67 75 6d 65 6e |ain} 2nd| argumen|
|00002470| 74 20 69 73 20 65 78 70 | 6c 61 6e 61 74 69 6f 6e |t is exp|lanation|
|00002480| 20 6f 66 20 66 69 72 73 | 74 7d 0a 5c 70 72 65 64 | of firs|t}.\pred|
|00002490| 69 63 61 74 65 73 75 6d | 6d 61 72 79 7b 65 78 70 |icatesum|mary{exp|
|000024a0| 6f 72 74 7d 7b 31 7d 7b | 45 78 70 6f 72 74 20 61 |ort}{1}{|Export a|
|000024b0| 20 70 72 65 64 69 63 61 | 74 65 20 66 72 6f 6d 20 | predica|te from |
|000024c0| 61 20 6d 6f 64 75 6c 65 | 7d 0a 5c 70 72 65 64 69 |a module|}.\predi|
|000024d0| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 65 78 70 6f |catesumm|ary{expo|
|000024e0| 72 74 5f 6c 69 73 74 7d | 7b 32 7d 7b 4c 69 73 74 |rt_list}|{2}{List|
|000024f0| 20 6f 66 20 70 75 62 6c | 69 63 20 70 72 65 64 69 | of publ|ic predi|
|00002500| 63 61 74 65 73 20 6f 66 | 20 61 20 6d 6f 64 75 6c |cates of| a modul|
|00002510| 65 7d 0a 5c 70 72 65 64 | 69 63 61 74 65 73 75 6d |e}.\pred|icatesum|
|00002520| 6d 61 72 79 7b 66 61 69 | 6c 7d 7b 30 7d 7b 41 6c |mary{fai|l}{0}{Al|
|00002530| 77 61 79 73 20 66 61 6c | 73 65 7d 0a 5c 70 72 65 |ways fal|se}.\pre|
|00002540| 64 69 63 61 74 65 73 75 | 6d 6d 61 72 79 7b 66 61 |dicatesu|mmary{fa|
|00002550| 69 6c 7d 7b 31 7d 7b 49 | 6d 6d 65 64 69 61 74 65 |il}{1}{I|mmediate|
|00002560| 6c 79 20 66 61 69 6c 20 | 6e 61 6d 65 64 20 62 6c |ly fail |named bl|
|00002570| 6f 63 6b 2e 20 53 65 65 | 20 62 6c 6f 63 6b 2f 33 |ock. See| block/3|
|00002580| 7d 0a 5c 70 72 65 64 69 | 63 61 74 65 73 75 6d 6d |}.\predi|catesumm|
|00002590| 61 72 79 7b 66 65 61 74 | 75 72 65 7d 7b 32 7d 7b |ary{feat|ure}{2}{|
|000025a0| 47 65 74 20 73 79 73 74 | 65 6d 20 63 6f 6e 66 69 |Get syst|em confi|
|000025b0| 67 75 72 61 74 69 6f 6e | 20 70 61 72 61 6d 65 74 |guration| paramet|
|000025c0| 65 72 73 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |ers}.\pr|edicates|
|000025d0| 75 6d 6d 61 72 79 7b 66 | 69 6c 65 5f 62 61 73 65 |ummary{f|ile_base|
|000025e0| 5f 6e 61 6d 65 7d 7b 32 | 7d 7b 47 65 74 20 66 69 |_name}{2|}{Get fi|
|000025f0| 6c 65 20 70 61 72 74 20 | 6f 66 20 70 61 74 68 7d |le part |of path}|
|00002600| 0a 5c 70 72 65 64 69 63 | 61 74 65 73 75 6d 6d 61 |.\predic|atesumma|
|00002610| 72 79 7b 66 69 6c 65 5f | 64 69 72 65 63 74 6f 72 |ry{file_|director|
|00002620| 79 5f 6e 61 6d 65 7d 7b | 32 7d 7b 47 65 74 20 64 |y_name}{|2}{Get d|
|00002630| 69 72 65 63 74 6f 72 79 | 20 70 61 72 74 20 6f 66 |irectory| part of|
|00002640| 20 70 61 74 68 7d 0a 5c | 70 72 65 64 69 63 61 74 | path}.\|predicat|
|00002650| 65 73 75 6d 6d 61 72 79 | 7b 66 69 6c 65 5f 6e 61 |esummary|{file_na|
|00002660| 6d 65 5f 65 78 74 65 6e | 73 69 6f 6e 7d 7b 33 7d |me_exten|sion}{3}|
|00002670| 7b 41 64 64 2c 20 72 65 | 6d 6f 76 65 20 6f 72 20 |{Add, re|move or |
|00002680| 74 65 73 74 20 66 69 6c | 65 20 65 78 74 65 6e 73 |test fil|e extens|
|00002690| 69 6f 6e 73 7d 0a 5c 70 | 72 65 64 69 63 61 74 65 |ions}.\p|redicate|
|000026a0| 73 75 6d 6d 61 72 79 7b | 66 69 6c 65 5f 73 65 61 |summary{|file_sea|
|000026b0| 72 63 68 5f 70 61 74 68 | 7d 7b 32 7d 7b 44 65 66 |rch_path|}{2}{Def|
|000026c0| 69 6e 65 20 70 61 74 68 | 2d 61 6c 69 61 73 65 73 |ine path|-aliases|
|000026d0| 20 66 6f 72 20 6c 6f 63 | 61 74 69 6e 67 20 66 69 | for loc|ating fi|
|000026e0| 6c 65 73 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |les}.\pr|edicates|
|000026f0| 75 6d 6d 61 72 79 7b 66 | 69 6c 65 65 72 72 6f 72 |ummary{f|ileerror|
|00002700| 73 7d 7b 32 7d 7b 44 6f | 2f 44 6f 6e 27 74 20 77 |s}{2}{Do|/Don't w|
|00002710| 61 72 6e 20 6f 6e 20 66 | 69 6c 65 20 65 72 72 6f |arn on f|ile erro|
|00002720| 72 73 7d 0a 5c 70 72 65 | 64 69 63 61 74 65 73 75 |rs}.\pre|dicatesu|
|00002730| 6d 6d 61 72 79 7b 66 69 | 6e 64 61 6c 6c 7d 7b 33 |mmary{fi|ndall}{3|
|00002740| 7d 7b 46 69 6e 64 20 61 | 6c 6c 20 73 6f 6c 75 74 |}{Find a|ll solut|
|00002750| 69 6f 6e 73 20 74 6f 20 | 61 20 67 6f 61 6c 7d 0a |ions to |a goal}.|
|00002760| 5c 70 72 65 64 69 63 61 | 74 65 73 75 6d 6d 61 72 |\predica|tesummar|
|00002770| 79 7b 66 6c 61 67 7d 7b | 33 7d 7b 53 69 6d 70 6c |y{flag}{|3}{Simpl|
|00002780| 65 20 67 6c 6f 62 61 6c | 20 76 61 72 69 61 62 6c |e global| variabl|
|00002790| 65 20 73 79 73 74 65 6d | 7d 0a 5c 70 72 65 64 69 |e system|}.\predi|
|000027a0| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 66 6c 61 74 |catesumm|ary{flat|
|000027b0| 74 65 6e 7d 7b 32 7d 7b | 54 72 61 6e 73 66 6f 72 |ten}{2}{|Transfor|
|000027c0| 6d 20 6e 65 73 74 65 64 | 20 6c 69 73 74 20 69 6e |m nested| list in|
|000027d0| 74 6f 20 66 6c 61 74 20 | 6c 69 73 74 7d 0a 5c 70 |to flat |list}.\p|
|000027e0| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|000027f0| 66 6c 6f 61 74 7d 7b 31 | 7d 7b 54 79 70 65 20 63 |float}{1|}{Type c|
|00002800| 68 65 63 6b 20 66 6f 72 | 20 61 20 66 6c 6f 61 74 |heck for| a float|
|00002810| 69 6e 67 20 70 6f 69 6e | 74 20 6e 75 6d 62 65 72 |ing poin|t number|
|00002820| 7d 0a 5c 70 72 65 64 69 | 63 61 74 65 73 75 6d 6d |}.\predi|catesumm|
|00002830| 61 72 79 7b 66 6c 75 73 | 68 7d 7b 30 7d 7b 4f 75 |ary{flus|h}{0}{Ou|
|00002840| 74 70 75 74 20 70 65 6e | 64 69 6e 67 20 63 68 61 |tput pen|ding cha|
|00002850| 72 61 63 74 65 72 73 20 | 6f 6e 20 63 75 72 72 65 |racters |on curre|
|00002860| 6e 74 20 73 74 72 65 61 | 6d 7d 0a 5c 70 72 65 64 |nt strea|m}.\pred|
|00002870| 69 63 61 74 65 73 75 6d | 6d 61 72 79 7b 66 6c 75 |icatesum|mary{flu|
|00002880| 73 68 5f 6f 75 74 70 75 | 74 7d 7b 31 7d 7b 4f 75 |sh_outpu|t}{1}{Ou|
|00002890| 74 70 75 74 20 70 65 6e | 64 69 6e 67 20 63 68 61 |tput pen|ding cha|
|000028a0| 72 61 63 74 65 72 73 20 | 6f 6e 20 73 70 65 63 69 |racters |on speci|
|000028b0| 66 69 65 64 20 73 74 72 | 65 61 6d 7d 0a 5c 70 72 |fied str|eam}.\pr|
|000028c0| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 66 |edicates|ummary{f|
|000028d0| 6f 72 61 6c 6c 7d 7b 32 | 7d 7b 50 72 6f 76 65 20 |orall}{2|}{Prove |
|000028e0| 67 6f 61 6c 20 66 6f 72 | 20 61 6c 6c 20 73 6f 6c |goal for| all sol|
|000028f0| 75 74 69 6f 6e 73 20 6f | 66 20 61 6e 6f 74 68 65 |utions o|f anothe|
|00002900| 72 20 67 6f 61 6c 7d 0a | 5c 70 72 65 64 69 63 61 |r goal}.|\predica|
|00002910| 74 65 73 75 6d 6d 61 72 | 79 7b 66 6f 72 65 69 67 |tesummar|y{foreig|
|00002920| 6e 5f 66 69 6c 65 7d 7b | 31 7d 7b 45 78 61 6d 69 |n_file}{|1}{Exami|
|00002930| 6e 65 20 6c 6f 61 64 65 | 64 20 66 6f 72 65 69 67 |ne loade|d foreig|
|00002940| 6e 20 66 69 6c 65 73 7d | 0a 5c 70 72 65 64 69 63 |n files}|.\predic|
|00002950| 61 74 65 73 75 6d 6d 61 | 72 79 7b 66 6f 72 6d 61 |atesumma|ry{forma|
|00002960| 74 7d 7b 31 7d 7b 46 6f | 72 6d 61 74 74 65 64 20 |t}{1}{Fo|rmatted |
|00002970| 6f 75 74 70 75 74 7d 0a | 5c 70 72 65 64 69 63 61 |output}.|\predica|
|00002980| 74 65 73 75 6d 6d 61 72 | 79 7b 66 6f 72 6d 61 74 |tesummar|y{format|
|00002990| 7d 7b 32 7d 7b 46 6f 72 | 6d 61 74 74 65 64 20 6f |}{2}{For|matted o|
|000029a0| 75 74 70 75 74 20 77 69 | 74 68 20 61 72 67 75 6d |utput wi|th argum|
|000029b0| 65 6e 74 73 7d 0a 5c 70 | 72 65 64 69 63 61 74 65 |ents}.\p|redicate|
|000029c0| 73 75 6d 6d 61 72 79 7b | 66 6f 72 6d 61 74 7d 7b |summary{|format}{|
|000029d0| 33 7d 7b 46 6f 72 6d 61 | 74 74 65 64 20 6f 75 74 |3}{Forma|tted out|
|000029e0| 70 75 74 20 6f 6e 20 61 | 20 73 74 72 65 61 6d 7d |put on a| stream}|
|000029f0| 0a 5c 70 72 65 64 69 63 | 61 74 65 73 75 6d 6d 61 |.\predic|atesumma|
|00002a00| 72 79 7b 66 6f 72 6d 61 | 74 5f 70 72 65 64 69 63 |ry{forma|t_predic|
|00002a10| 61 74 65 7d 7b 32 7d 7b | 50 72 6f 67 72 61 6d 20 |ate}{2}{|Program |
|00002a20| 66 6f 72 6d 61 74 2f 5b | 31 2c 32 5d 7d 0a 5c 70 |format/[|1,2]}.\p|
|00002a30| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|00002a40| 66 72 65 65 5f 76 61 72 | 69 61 62 6c 65 73 7d 7b |free_var|iables}{|
|00002a50| 32 7d 7b 46 69 6e 64 20 | 75 6e 62 6f 75 6e 64 20 |2}{Find |unbound |
|00002a60| 76 61 72 69 61 62 6c 65 | 73 20 69 6e 20 61 20 74 |variable|s in a t|
|00002a70| 65 72 6d 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |erm}.\pr|edicates|
|00002a80| 75 6d 6d 61 72 79 7b 66 | 75 6e 63 74 6f 72 7d 7b |ummary{f|unctor}{|
|00002a90| 33 7d 7b 47 65 74 20 6e | 61 6d 65 20 61 6e 64 20 |3}{Get n|ame and |
|00002aa0| 61 72 69 74 79 20 6f 66 | 20 61 20 74 65 72 6d 20 |arity of| a term |
|00002ab0| 6f 72 20 63 6f 6e 73 74 | 72 75 63 74 20 61 20 74 |or const|ruct a t|
|00002ac0| 65 72 6d 20 7d 0a 5c 70 | 72 65 64 69 63 61 74 65 |erm }.\p|redicate|
|00002ad0| 73 75 6d 6d 61 72 79 7b | 67 61 72 62 61 67 65 5f |summary{|garbage_|
|00002ae0| 63 6f 6c 6c 65 63 74 7d | 7b 30 7d 7b 49 6e 76 6f |collect}|{0}{Invo|
|00002af0| 6b 65 20 74 68 65 20 67 | 61 72 62 61 67 65 20 63 |ke the g|arbage c|
|00002b00| 6f 6c 6c 65 63 74 6f 72 | 7d 0a 5c 70 72 65 64 69 |ollector|}.\predi|
|00002b10| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 67 65 6e 73 |catesumm|ary{gens|
|00002b20| 79 6d 7d 7b 32 7d 7b 47 | 65 6e 65 72 61 74 65 20 |ym}{2}{G|enerate |
|00002b30| 75 6e 69 71 75 65 20 61 | 74 6f 6d 73 20 66 72 6f |unique a|toms fro|
|00002b40| 6d 20 61 20 62 61 73 65 | 7d 0a 5c 70 72 65 64 69 |m a base|}.\predi|
|00002b50| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 67 65 74 7d |catesumm|ary{get}|
|00002b60| 7b 31 7d 7b 52 65 61 64 | 20 66 69 72 73 74 20 6e |{1}{Read| first n|
|00002b70| 6f 6e 2d 62 6c 61 6e 6b | 20 63 68 61 72 61 63 74 |on-blank| charact|
|00002b80| 65 72 7d 0a 5c 70 72 65 | 64 69 63 61 74 65 73 75 |er}.\pre|dicatesu|
|00002b90| 6d 6d 61 72 79 7b 67 65 | 74 7d 7b 32 7d 7b 52 65 |mmary{ge|t}{2}{Re|
|00002ba0| 61 64 20 66 69 72 73 74 | 20 6e 6f 6e 2d 62 6c 61 |ad first| non-bla|
|00002bb0| 6e 6b 20 63 68 61 72 61 | 63 74 65 72 20 66 72 6f |nk chara|cter fro|
|00002bc0| 6d 20 61 20 73 74 72 65 | 61 6d 7d 0a 5c 70 72 65 |m a stre|am}.\pre|
|00002bd0| 64 69 63 61 74 65 73 75 | 6d 6d 61 72 79 7b 67 65 |dicatesu|mmary{ge|
|00002be0| 74 30 7d 7b 31 7d 7b 52 | 65 61 64 20 6e 65 78 74 |t0}{1}{R|ead next|
|00002bf0| 20 63 68 61 72 61 63 74 | 65 72 7d 0a 5c 70 72 65 | charact|er}.\pre|
|00002c00| 64 69 63 61 74 65 73 75 | 6d 6d 61 72 79 7b 67 65 |dicatesu|mmary{ge|
|00002c10| 74 30 7d 7b 32 7d 7b 52 | 65 61 64 20 6e 65 78 74 |t0}{2}{R|ead next|
|00002c20| 20 63 68 61 72 61 63 74 | 65 72 20 66 72 6f 6d 20 | charact|er from |
|00002c30| 61 20 73 74 72 65 61 6d | 7d 0a 5c 70 72 65 64 69 |a stream|}.\predi|
|00002c40| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 67 65 74 5f |catesumm|ary{get_|
|00002c50| 73 69 6e 67 6c 65 5f 63 | 68 61 72 7d 7b 31 7d 7b |single_c|har}{1}{|
|00002c60| 52 65 61 64 20 6e 65 78 | 74 20 63 68 61 72 61 63 |Read nex|t charac|
|00002c70| 74 65 72 20 66 72 6f 6d | 20 74 68 65 20 74 65 72 |ter from| the ter|
|00002c80| 6d 69 6e 61 6c 7d 0a 5c | 70 72 65 64 69 63 61 74 |minal}.\|predicat|
|00002c90| 65 73 75 6d 6d 61 72 79 | 7b 67 65 74 5f 74 69 6d |esummary|{get_tim|
|00002ca0| 65 7d 7b 31 7d 7b 47 65 | 74 20 63 75 72 72 65 6e |e}{1}{Ge|t curren|
|00002cb0| 74 20 74 69 6d 65 7d 0a | 5c 70 72 65 64 69 63 61 |t time}.|\predica|
|00002cc0| 74 65 73 75 6d 6d 61 72 | 79 7b 67 65 74 65 6e 76 |tesummar|y{getenv|
|00002cd0| 7d 7b 32 7d 7b 47 65 74 | 20 73 68 65 6c 6c 20 65 |}{2}{Get| shell e|
|00002ce0| 6e 76 69 72 6f 6e 6d 65 | 6e 74 20 76 61 72 69 61 |nvironme|nt varia|
|00002cf0| 62 6c 65 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |ble}.\pr|edicates|
|00002d00| 75 6d 6d 61 72 79 7b 67 | 72 6f 75 6e 64 7d 7b 31 |ummary{g|round}{1|
|00002d10| 7d 7b 56 65 72 69 66 79 | 20 74 65 72 6d 20 68 6f |}{Verify| term ho|
|00002d20| 6c 64 73 20 6e 6f 20 75 | 6e 62 6f 75 6e 64 20 76 |lds no u|nbound v|
|00002d30| 61 72 69 61 62 6c 65 73 | 7d 0a 5c 70 72 65 64 69 |ariables|}.\predi|
|00002d40| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 68 61 6c 74 |catesumm|ary{halt|
|00002d50| 7d 7b 30 7d 7b 45 78 69 | 74 20 66 72 6f 6d 20 50 |}{0}{Exi|t from P|
|00002d60| 72 6f 6c 6f 67 7d 0a 5c | 70 72 65 64 69 63 61 74 |rolog}.\|predicat|
|00002d70| 65 73 75 6d 6d 61 72 79 | 7b 68 61 6c 74 7d 7b 31 |esummary|{halt}{1|
|00002d80| 7d 7b 45 78 69 74 20 66 | 72 6f 6d 20 50 72 6f 6c |}{Exit f|rom Prol|
|00002d90| 6f 67 20 77 69 74 68 20 | 73 74 61 74 75 73 7d 0a |og with |status}.|
|00002da0| 5c 70 72 65 64 69 63 61 | 74 65 73 75 6d 6d 61 72 |\predica|tesummar|
|00002db0| 79 7b 68 61 73 68 5f 74 | 65 72 6d 7d 7b 32 7d 7b |y{hash_t|erm}{2}{|
|00002dc0| 48 61 73 68 2d 76 61 6c | 75 65 20 6f 66 20 67 72 |Hash-val|ue of gr|
|00002dd0| 6f 75 6e 64 20 74 65 72 | 6d 7d 0a 5c 70 72 65 64 |ound ter|m}.\pred|
|00002de0| 69 63 61 74 65 73 75 6d | 6d 61 72 79 7b 68 65 6c |icatesum|mary{hel|
|00002df0| 70 7d 7b 30 7d 7b 47 69 | 76 65 20 68 65 6c 70 20 |p}{0}{Gi|ve help |
|00002e00| 6f 6e 20 68 65 6c 70 7d | 0a 5c 70 72 65 64 69 63 |on help}|.\predic|
|00002e10| 61 74 65 73 75 6d 6d 61 | 72 79 7b 68 65 6c 70 7d |atesumma|ry{help}|
|00002e20| 7b 31 7d 7b 47 69 76 65 | 20 68 65 6c 70 20 6f 6e |{1}{Give| help on|
|00002e30| 20 70 72 65 64 69 63 61 | 74 65 73 20 61 6e 64 20 | predica|tes and |
|00002e40| 73 68 6f 77 20 70 61 72 | 74 73 20 6f 66 20 6d 61 |show par|ts of ma|
|00002e50| 6e 75 61 6c 7d 0a 5c 70 | 72 65 64 69 63 61 74 65 |nual}.\p|redicate|
|00002e60| 73 75 6d 6d 61 72 79 7b | 69 67 6e 6f 72 65 7d 7b |summary{|ignore}{|
|00002e70| 31 7d 7b 43 61 6c 6c 20 | 74 68 65 20 61 72 67 75 |1}{Call |the argu|
|00002e80| 6d 65 6e 74 2c 20 62 75 | 74 20 61 6c 77 61 79 73 |ment, bu|t always|
|00002e90| 20 73 75 63 63 65 65 64 | 7d 0a 5c 70 72 65 64 69 | succeed|}.\predi|
|00002ea0| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 69 6d 70 6f |catesumm|ary{impo|
|00002eb0| 72 74 7d 7b 31 7d 7b 49 | 6d 70 6f 72 74 20 61 20 |rt}{1}{I|mport a |
|00002ec0| 70 72 65 64 69 63 61 74 | 65 20 66 72 6f 6d 20 61 |predicat|e from a|
|00002ed0| 20 6d 6f 64 75 6c 65 7d | 0a 5c 70 72 65 64 69 63 | module}|.\predic|
|00002ee0| 61 74 65 73 75 6d 6d 61 | 72 79 7b 69 6e 64 65 78 |atesumma|ry{index|
|00002ef0| 7d 7b 31 7d 7b 43 68 61 | 6e 67 65 20 63 6c 61 75 |}{1}{Cha|nge clau|
|00002f00| 73 65 20 69 6e 64 65 78 | 69 6e 67 7d 0a 5c 70 72 |se index|ing}.\pr|
|00002f10| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 69 |edicates|ummary{i|
|00002f20| 6e 69 74 69 61 6c 69 7a | 61 74 69 6f 6e 7d 7b 31 |nitializ|ation}{1|
|00002f30| 7d 7b 49 6e 69 74 69 61 | 6c 69 7a 61 74 69 6f 6e |}{Initia|lization|
|00002f40| 20 64 69 72 65 63 74 69 | 76 65 7d 0a 5c 70 72 65 | directi|ve}.\pre|
|00002f50| 64 69 63 61 74 65 73 75 | 6d 6d 61 72 79 7b 69 6e |dicatesu|mmary{in|
|00002f60| 74 5f 74 6f 5f 61 74 6f | 6d 7d 7b 32 7d 7b 43 6f |t_to_ato|m}{2}{Co|
|00002f70| 6e 76 65 72 74 20 66 72 | 6f 6d 20 69 6e 74 65 67 |nvert fr|om integ|
|00002f80| 65 72 20 74 6f 20 61 74 | 6f 6d 7d 0a 5c 70 72 65 |er to at|om}.\pre|
|00002f90| 64 69 63 61 74 65 73 75 | 6d 6d 61 72 79 7b 69 6e |dicatesu|mmary{in|
|00002fa0| 74 5f 74 6f 5f 61 74 6f | 6d 7d 7b 33 7d 7b 43 6f |t_to_ato|m}{3}{Co|
|00002fb0| 6e 76 65 72 74 20 66 72 | 6f 6d 20 69 6e 74 65 67 |nvert fr|om integ|
|00002fc0| 65 72 20 74 6f 20 61 74 | 6f 6d 20 28 6e 6f 6e 2d |er to at|om (non-|
|00002fd0| 64 65 63 69 6d 61 6c 29 | 7d 0a 5c 70 72 65 64 69 |decimal)|}.\predi|
|00002fe0| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 69 6e 74 65 |catesumm|ary{inte|
|00002ff0| 67 65 72 7d 7b 31 7d 7b | 54 79 70 65 20 63 68 65 |ger}{1}{|Type che|
|00003000| 63 6b 20 66 6f 72 20 69 | 6e 74 65 67 65 72 7d 0a |ck for i|nteger}.|
|00003010| 5c 70 72 65 64 69 63 61 | 74 65 73 75 6d 6d 61 72 |\predica|tesummar|
|00003020| 79 7b 69 6e 74 65 72 73 | 65 63 74 69 6f 6e 7d 7b |y{inters|ection}{|
|00003030| 33 7d 7b 53 65 74 20 69 | 6e 74 65 72 73 65 63 74 |3}{Set i|ntersect|
|00003040| 69 6f 6e 7d 0a 5c 6f 70 | 70 72 65 64 73 75 6d 6d |ion}.\op|predsumm|
|00003050| 61 72 79 7b 69 73 7d 7b | 32 7d 7b 78 66 78 7d 7b |ary{is}{|2}{xfx}{|
|00003060| 37 30 30 7d 7b 45 76 61 | 6c 75 61 74 65 20 61 72 |700}{Eva|luate ar|
|00003070| 69 74 68 6d 65 74 69 63 | 20 65 78 70 72 65 73 73 |ithmetic| express|
|00003080| 69 6f 6e 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |ion}.\pr|edicates|
|00003090| 75 6d 6d 61 72 79 7b 69 | 73 5f 61 62 73 6f 6c 75 |ummary{i|s_absolu|
|000030a0| 74 65 5f 66 69 6c 65 5f | 6e 61 6d 65 7d 7b 31 7d |te_file_|name}{1}|
|000030b0| 7b 54 72 75 65 20 69 66 | 20 61 72 67 20 64 65 66 |{True if| arg def|
|000030c0| 69 6e 65 73 20 61 6e 20 | 61 62 73 6f 6c 75 74 65 |ines an |absolute|
|000030d0| 20 70 61 74 68 7d 0a 5c | 70 72 65 64 69 63 61 74 | path}.\|predicat|
|000030e0| 65 73 75 6d 6d 61 72 79 | 7b 69 73 5f 6c 69 73 74 |esummary|{is_list|
|000030f0| 7d 7b 31 7d 7b 54 79 70 | 65 20 63 68 65 63 6b 20 |}{1}{Typ|e check |
|00003100| 66 6f 72 20 61 20 6c 69 | 73 74 7d 0a 5c 70 72 65 |for a li|st}.\pre|
|00003110| 64 69 63 61 74 65 73 75 | 6d 6d 61 72 79 7b 69 73 |dicatesu|mmary{is|
|00003120| 5f 73 65 74 7d 7b 31 7d | 7b 54 79 70 65 20 63 68 |_set}{1}|{Type ch|
|00003130| 65 63 6b 20 66 6f 72 20 | 61 20 73 65 74 7d 0a 5c |eck for |a set}.\|
|00003140| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|00003150| 7b 6b 65 79 73 6f 72 74 | 7d 7b 32 7d 7b 53 6f 72 |{keysort|}{2}{Sor|
|00003160| 74 2c 20 75 73 69 6e 67 | 20 61 20 6b 65 79 7d 0a |t, using| a key}.|
|00003170| 5c 70 72 65 64 69 63 61 | 74 65 73 75 6d 6d 61 72 |\predica|tesummar|
|00003180| 79 7b 6c 61 73 74 7d 7b | 32 7d 7b 4c 61 73 74 20 |y{last}{|2}{Last |
|00003190| 65 6c 65 6d 65 6e 74 20 | 6f 66 20 61 20 6c 69 73 |element |of a lis|
|000031a0| 74 7d 0a 5c 70 72 65 64 | 69 63 61 74 65 73 75 6d |t}.\pred|icatesum|
|000031b0| 6d 61 72 79 7b 6c 65 61 | 73 68 7d 7b 31 7d 7b 43 |mary{lea|sh}{1}{C|
|000031c0| 68 61 6e 67 65 20 70 6f | 72 74 73 20 76 69 73 69 |hange po|rts visi|
|000031d0| 74 65 64 20 62 79 20 74 | 68 65 20 74 72 61 63 65 |ted by t|he trace|
|000031e0| 72 7d 0a 5c 70 72 65 64 | 69 63 61 74 65 73 75 6d |r}.\pred|icatesum|
|000031f0| 6d 61 72 79 7b 6c 65 6e | 67 74 68 7d 7b 32 7d 7b |mary{len|gth}{2}{|
|00003200| 4c 65 6e 67 74 68 20 6f | 66 20 61 20 6c 69 73 74 |Length o|f a list|
|00003210| 7d 0a 5c 70 72 65 64 69 | 63 61 74 65 73 75 6d 6d |}.\predi|catesumm|
|00003220| 61 72 79 7b 6c 69 62 72 | 61 72 79 5f 64 69 72 65 |ary{libr|ary_dire|
|00003230| 63 74 6f 72 79 7d 7b 31 | 7d 7b 5c 68 6f 6f 6b 7b |ctory}{1|}{\hook{|
|00003240| 75 73 65 72 7d 20 44 69 | 72 65 63 74 6f 72 69 65 |user} Di|rectorie|
|00003250| 73 20 68 6f 6c 64 69 6e | 67 20 50 72 6f 6c 6f 67 |s holdin|g Prolog|
|00003260| 20 6c 69 62 72 61 72 69 | 65 73 7d 0a 5c 70 72 65 | librari|es}.\pre|
|00003270| 64 69 63 61 74 65 73 75 | 6d 6d 61 72 79 7b 6c 69 |dicatesu|mmary{li|
|00003280| 6d 69 74 5f 73 74 61 63 | 6b 7d 7b 32 7d 7b 4c 69 |mit_stac|k}{2}{Li|
|00003290| 6d 69 74 20 73 74 61 63 | 6b 20 65 78 70 61 6e 73 |mit stac|k expans|
|000032a0| 69 6f 6e 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |ion}.\pr|edicates|
|000032b0| 75 6d 6d 61 72 79 7b 6c | 69 6e 65 5f 63 6f 75 6e |ummary{l|ine_coun|
|000032c0| 74 7d 7b 32 7d 7b 4c 69 | 6e 65 20 6e 75 6d 62 65 |t}{2}{Li|ne numbe|
|000032d0| 72 20 6f 6e 20 73 74 72 | 65 61 6d 7d 0a 5c 70 72 |r on str|eam}.\pr|
|000032e0| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 6c |edicates|ummary{l|
|000032f0| 69 6e 65 5f 70 6f 73 69 | 74 69 6f 6e 7d 7b 32 7d |ine_posi|tion}{2}|
|00003300| 7b 43 68 61 72 61 63 74 | 65 72 20 70 6f 73 69 74 |{Charact|er posit|
|00003310| 69 6f 6e 20 69 6e 20 6c | 69 6e 65 20 6f 6e 20 73 |ion in l|ine on s|
|00003320| 74 72 65 61 6d 7d 0a 5c | 70 72 65 64 69 63 61 74 |tream}.\|predicat|
|00003330| 65 73 75 6d 6d 61 72 79 | 7b 6c 69 73 74 5f 74 6f |esummary|{list_to|
|00003340| 5f 73 65 74 7d 7b 32 7d | 7b 52 65 6d 6f 76 65 20 |_set}{2}|{Remove |
|00003350| 64 75 70 6c 69 63 61 74 | 65 73 7d 0a 5c 70 72 65 |duplicat|es}.\pre|
|00003360| 64 69 63 61 74 65 73 75 | 6d 6d 61 72 79 7b 6c 69 |dicatesu|mmary{li|
|00003370| 73 74 69 6e 67 7d 7b 30 | 7d 7b 4c 69 73 74 20 70 |sting}{0|}{List p|
|00003380| 72 6f 67 72 61 6d 20 69 | 6e 20 63 75 72 72 65 6e |rogram i|n curren|
|00003390| 74 20 6d 6f 64 75 6c 65 | 7d 0a 5c 70 72 65 64 69 |t module|}.\predi|
|000033a0| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 6c 69 73 74 |catesumm|ary{list|
|000033b0| 69 6e 67 7d 7b 31 7d 7b | 4c 69 73 74 20 70 72 65 |ing}{1}{|List pre|
|000033c0| 64 69 63 61 74 65 7d 0a | 5c 70 72 65 64 69 63 61 |dicate}.|\predica|
|000033d0| 74 65 73 75 6d 6d 61 72 | 79 7b 6c 6f 61 64 5f 66 |tesummar|y{load_f|
|000033e0| 69 6c 65 73 7d 7b 32 7d | 7b 4c 6f 61 64 20 73 6f |iles}{2}|{Load so|
|000033f0| 75 72 63 65 20 66 69 6c | 65 73 20 77 69 74 68 20 |urce fil|es with |
|00003400| 6f 70 74 69 6f 6e 73 7d | 0a 5c 70 72 65 64 69 63 |options}|.\predic|
|00003410| 61 74 65 73 75 6d 6d 61 | 72 79 7b 6c 6f 61 64 5f |atesumma|ry{load_|
|00003420| 66 6f 72 65 69 67 6e 7d | 7b 32 7d 7b 4c 6f 61 64 |foreign}|{2}{Load|
|00003430| 20 66 6f 72 65 69 67 6e | 20 28 43 29 20 6d 6f 64 | foreign| (C) mod|
|00003440| 75 6c 65 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |ule}.\pr|edicates|
|00003450| 75 6d 6d 61 72 79 7b 6c | 6f 61 64 5f 66 6f 72 65 |ummary{l|oad_fore|
|00003460| 69 67 6e 7d 7b 35 7d 7b | 4c 6f 61 64 20 66 6f 72 |ign}{5}{|Load for|
|00003470| 65 69 67 6e 20 28 43 29 | 20 6d 6f 64 75 6c 65 7d |eign (C)| module}|
|00003480| 0a 5c 70 72 65 64 69 63 | 61 74 65 73 75 6d 6d 61 |.\predic|atesumma|
|00003490| 72 79 7b 6c 6f 61 64 5f | 66 6f 72 65 69 67 6e 5f |ry{load_|foreign_|
|000034a0| 6c 69 62 72 61 72 79 7d | 7b 31 7d 7b 5c 70 6c 6c |library}|{1}{\pll|
|000034b0| 69 62 7b 73 68 6c 69 62 | 7d 20 4c 6f 61 64 20 73 |ib{shlib|} Load s|
|000034c0| 68 61 72 65 64 20 6c 69 | 62 72 61 72 79 20 28 2e |hared li|brary (.|
|000034d0| 73 6f 20 66 69 6c 65 29 | 7d 0a 5c 70 72 65 64 69 |so file)|}.\predi|
|000034e0| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 6c 6f 61 64 |catesumm|ary{load|
|000034f0| 5f 66 6f 72 65 69 67 6e | 5f 6c 69 62 72 61 72 79 |_foreign|_library|
|00003500| 7d 7b 32 7d 7b 5c 70 6c | 6c 69 62 7b 73 68 6c 69 |}{2}{\pl|lib{shli|
|00003510| 62 7d 20 4c 6f 61 64 20 | 73 68 61 72 65 64 20 6c |b} Load |shared l|
|00003520| 69 62 72 61 72 79 20 28 | 2e 73 6f 20 66 69 6c 65 |ibrary (|.so file|
|00003530| 29 7d 0a 5c 70 72 65 64 | 69 63 61 74 65 73 75 6d |)}.\pred|icatesum|
|00003540| 6d 61 72 79 7b 6d 61 6b | 65 7d 7b 30 7d 7b 52 65 |mary{mak|e}{0}{Re|
|00003550| 63 6f 6e 73 75 6c 74 20 | 61 6c 6c 20 63 68 61 6e |consult |all chan|
|00003560| 67 65 64 20 73 6f 75 72 | 63 65 20 66 69 6c 65 73 |ged sour|ce files|
|00003570| 7d 0a 5c 70 72 65 64 69 | 63 61 74 65 73 75 6d 6d |}.\predi|catesumm|
|00003580| 61 72 79 7b 6d 61 6b 65 | 5f 66 61 74 5f 66 69 6c |ary{make|_fat_fil|
|00003590| 65 6d 61 70 7d 7b 31 7d | 7b 57 69 6e 33 32 3a 20 |emap}{1}|{Win32: |
|000035a0| 43 72 65 61 74 65 20 66 | 69 6c 65 20 63 6f 6e 74 |Create f|ile cont|
|000035b0| 61 69 6e 69 6e 67 20 6e | 6f 6e 2d 46 41 54 20 66 |aining n|on-FAT f|
|000035c0| 69 6c 65 6e 61 6d 65 73 | 7d 0a 5c 70 72 65 64 69 |ilenames|}.\predi|
|000035d0| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 6d 61 6b 65 |catesumm|ary{make|
|000035e0| 5f 6c 69 62 72 61 72 79 | 5f 69 6e 64 65 78 7d 7b |_library|_index}{|
|000035f0| 31 7d 7b 43 72 65 61 74 | 65 20 61 75 74 6f 6c 6f |1}{Creat|e autolo|
|00003600| 61 64 20 66 69 6c 65 20 | 49 4e 44 45 58 2e 70 6c |ad file |INDEX.pl|
|00003610| 7d 0a 5c 70 72 65 64 69 | 63 61 74 65 73 75 6d 6d |}.\predi|catesumm|
|00003620| 61 72 79 7b 6d 61 70 6c | 69 73 74 7d 7b 33 7d 7b |ary{mapl|ist}{3}{|
|00003630| 54 72 61 6e 73 66 6f 72 | 6d 20 61 6c 6c 20 65 6c |Transfor|m all el|
|00003640| 65 6d 65 6e 74 73 20 6f | 66 20 61 20 6c 69 73 74 |ements o|f a list|
|00003650| 7d 0a 5c 70 72 65 64 69 | 63 61 74 65 73 75 6d 6d |}.\predi|catesumm|
|00003660| 61 72 79 7b 6d 65 6d 62 | 65 72 7d 7b 32 7d 7b 45 |ary{memb|er}{2}{E|
|00003670| 6c 65 6d 65 6e 74 20 69 | 73 20 6d 65 6d 62 65 72 |lement i|s member|
|00003680| 20 6f 66 20 61 20 6c 69 | 73 74 7d 0a 5c 70 72 65 | of a li|st}.\pre|
|00003690| 64 69 63 61 74 65 73 75 | 6d 6d 61 72 79 7b 6d 65 |dicatesu|mmary{me|
|000036a0| 6d 62 65 72 63 68 6b 7d | 7b 32 7d 7b 44 65 74 65 |mberchk}|{2}{Dete|
|000036b0| 72 6d 69 6e 69 73 74 69 | 63 20 6d 65 6d 62 65 72 |rministi|c member|
|000036c0| 2f 32 7d 0a 5c 70 72 65 | 64 69 63 61 74 65 73 75 |/2}.\pre|dicatesu|
|000036d0| 6d 6d 61 72 79 7b 6d 65 | 72 67 65 7d 7b 33 7d 7b |mmary{me|rge}{3}{|
|000036e0| 4d 65 72 67 65 20 74 77 | 6f 20 73 6f 72 74 65 64 |Merge tw|o sorted|
|000036f0| 20 6c 69 73 74 73 7d 0a | 5c 70 72 65 64 69 63 61 | lists}.|\predica|
|00003700| 74 65 73 75 6d 6d 61 72 | 79 7b 6d 65 72 67 65 5f |tesummar|y{merge_|
|00003710| 73 65 74 7d 7b 33 7d 7b | 4d 65 72 67 65 20 74 77 |set}{3}{|Merge tw|
|00003720| 6f 20 73 6f 72 74 65 64 | 20 73 65 74 73 7d 0a 5c |o sorted| sets}.\|
|00003730| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|00003740| 7b 6d 65 73 73 61 67 65 | 5f 68 6f 6f 6b 7d 7b 33 |{message|_hook}{3|
|00003750| 7d 7b 49 6e 74 65 72 63 | 65 70 74 20 70 72 69 6e |}{Interc|ept prin|
|00003760| 74 5f 6d 65 73 73 61 67 | 65 2f 32 7d 0a 5c 70 72 |t_messag|e/2}.\pr|
|00003770| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 6d |edicates|ummary{m|
|00003780| 65 74 61 5f 70 72 65 64 | 69 63 61 74 65 7d 7b 31 |eta_pred|icate}{1|
|00003790| 7d 7b 51 75 69 6e 74 75 | 73 20 63 6f 6d 70 61 74 |}{Quintu|s compat|
|000037a0| 69 62 69 6c 69 74 79 7d | 0a 5c 70 72 65 64 69 63 |ibility}|.\predic|
|000037b0| 61 74 65 73 75 6d 6d 61 | 72 79 7b 6d 6f 64 75 6c |atesumma|ry{modul|
|000037c0| 65 7d 7b 31 7d 7b 51 75 | 65 72 79 2f 73 65 74 20 |e}{1}{Qu|ery/set |
|000037d0| 63 75 72 72 65 6e 74 20 | 74 79 70 65 2d 69 6e 20 |current |type-in |
|000037e0| 6d 6f 64 75 6c 65 7d 0a | 5c 70 72 65 64 69 63 61 |module}.|\predica|
|000037f0| 74 65 73 75 6d 6d 61 72 | 79 7b 6d 6f 64 75 6c 65 |tesummar|y{module|
|00003800| 7d 7b 32 7d 7b 44 65 63 | 6c 61 72 65 20 61 20 6d |}{2}{Dec|lare a m|
|00003810| 6f 64 75 6c 65 7d 0a 5c | 6f 70 70 72 65 64 73 75 |odule}.\|oppredsu|
|00003820| 6d 6d 61 72 79 7b 6d 6f | 64 75 6c 65 5f 74 72 61 |mmary{mo|dule_tra|
|00003830| 6e 73 70 61 72 65 6e 74 | 7d 7b 31 7d 7b 66 78 7d |nsparent|}{1}{fx}|
|00003840| 7b 31 31 35 30 7d 7b 49 | 6e 64 69 63 61 74 65 20 |{1150}{I|ndicate |
|00003850| 6d 6f 64 75 6c 65 20 62 | 61 73 65 64 20 6d 65 74 |module b|ased met|
|00003860| 61 20 70 72 65 64 69 63 | 61 74 65 7d 0a 5c 70 72 |a predic|ate}.\pr|
|00003870| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 6d |edicates|ummary{m|
|00003880| 73 6f 72 74 7d 7b 32 7d | 7b 53 6f 72 74 2c 20 64 |sort}{2}|{Sort, d|
|00003890| 6f 20 6e 6f 74 20 72 65 | 6d 6f 76 65 20 64 75 70 |o not re|move dup|
|000038a0| 6c 69 63 61 74 65 73 7d | 0a 5c 6f 70 70 72 65 64 |licates}|.\oppred|
|000038b0| 73 75 6d 6d 61 72 79 7b | 6d 75 6c 74 69 66 69 6c |summary{|multifil|
|000038c0| 65 7d 7b 31 7d 7b 66 78 | 7d 7b 31 31 35 30 7d 7b |e}{1}{fx|}{1150}{|
|000038d0| 49 6e 64 69 63 61 74 65 | 20 64 69 73 74 72 69 62 |Indicate| distrib|
|000038e0| 75 74 65 64 20 64 65 66 | 69 6e 69 74 69 6f 6e 20 |uted def|inition |
|000038f0| 6f 66 20 70 72 65 64 69 | 63 61 74 65 7d 0a 5c 70 |of predi|cate}.\p|
|00003900| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|00003910| 6e 61 6d 65 7d 7b 32 7d | 7b 43 6f 6e 76 65 72 74 |name}{2}|{Convert|
|00003920| 20 62 65 74 77 65 65 6e | 20 61 74 6f 6d 20 61 6e | between| atom an|
|00003930| 64 20 6c 69 73 74 20 6f | 66 20 41 53 43 49 49 20 |d list o|f ASCII |
|00003940| 63 68 61 72 61 63 74 65 | 72 73 7d 0a 5c 70 72 65 |characte|rs}.\pre|
|00003950| 64 69 63 61 74 65 73 75 | 6d 6d 61 72 79 7b 6e 6c |dicatesu|mmary{nl|
|00003960| 7d 7b 30 7d 7b 47 65 6e | 65 72 61 74 65 20 61 20 |}{0}{Gen|erate a |
|00003970| 6e 65 77 6c 69 6e 65 7d | 0a 5c 70 72 65 64 69 63 |newline}|.\predic|
|00003980| 61 74 65 73 75 6d 6d 61 | 72 79 7b 6e 6c 7d 7b 31 |atesumma|ry{nl}{1|
|00003990| 7d 7b 47 65 6e 65 72 61 | 74 65 20 61 20 6e 65 77 |}{Genera|te a new|
|000039a0| 6c 69 6e 65 20 6f 6e 20 | 61 20 73 74 72 65 61 6d |line on |a stream|
|000039b0| 7d 0a 5c 70 72 65 64 69 | 63 61 74 65 73 75 6d 6d |}.\predi|catesumm|
|000039c0| 61 72 79 7b 6e 6f 64 65 | 62 75 67 7d 7b 30 7d 7b |ary{node|bug}{0}{|
|000039d0| 44 69 73 61 62 6c 65 20 | 64 65 62 75 67 67 69 6e |Disable |debuggin|
|000039e0| 67 7d 0a 5c 70 72 65 64 | 69 63 61 74 65 73 75 6d |g}.\pred|icatesum|
|000039f0| 6d 61 72 79 7b 6e 6f 6e | 76 61 72 7d 7b 31 7d 7b |mary{non|var}{1}{|
|00003a00| 54 79 70 65 20 63 68 65 | 63 6b 20 66 6f 72 20 62 |Type che|ck for b|
|00003a10| 6f 75 6e 64 20 74 65 72 | 6d 7d 0a 5c 70 72 65 64 |ound ter|m}.\pred|
|00003a20| 69 63 61 74 65 73 75 6d | 6d 61 72 79 7b 6e 6f 70 |icatesum|mary{nop|
|00003a30| 72 6f 74 6f 63 6f 6c 7d | 7b 30 7d 7b 44 69 73 61 |rotocol}|{0}{Disa|
|00003a40| 62 6c 65 20 6c 6f 67 67 | 69 6e 67 20 6f 66 20 75 |ble logg|ing of u|
|00003a50| 73 65 72 20 69 6e 74 65 | 72 61 63 74 69 6f 6e 7d |ser inte|raction}|
|00003a60| 0a 5c 70 72 65 64 69 63 | 61 74 65 73 75 6d 6d 61 |.\predic|atesumma|
|00003a70| 72 79 7b 6e 6f 73 70 79 | 7d 7b 31 7d 7b 52 65 6d |ry{nospy|}{1}{Rem|
|00003a80| 6f 76 65 20 73 70 79 20 | 70 6f 69 6e 74 7d 0a 5c |ove spy |point}.\|
|00003a90| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|00003aa0| 7b 6e 6f 73 70 79 61 6c | 6c 7d 7b 30 7d 7b 52 65 |{nospyal|l}{0}{Re|
|00003ab0| 6d 6f 76 65 20 61 6c 6c | 20 73 70 79 20 70 6f 69 |move all| spy poi|
|00003ac0| 6e 74 73 7d 0a 5c 6f 70 | 70 72 65 64 73 75 6d 6d |nts}.\op|predsumm|
|00003ad0| 61 72 79 7b 6e 6f 74 7d | 7b 31 7d 7b 66 79 7d 7b |ary{not}|{1}{fy}{|
|00003ae0| 39 30 30 7d 7b 4e 65 67 | 61 74 69 6f 6e 20 62 79 |900}{Neg|ation by|
|00003af0| 20 66 61 69 6c 75 72 65 | 20 28 61 72 67 75 6d 65 | failure| (argume|
|00003b00| 6e 74 20 6e 6f 74 20 70 | 72 6f 76 61 62 6c 65 29 |nt not p|rovable)|
|00003b10| 2e 20 53 61 6d 65 20 61 | 73 20 5c 70 72 65 64 72 |. Same a|s \predr|
|00003b20| 65 66 7b 5c 2b 7d 7b 31 | 7d 7d 0a 5c 70 72 65 64 |ef{\+}{1|}}.\pred|
|00003b30| 69 63 61 74 65 73 75 6d | 6d 61 72 79 7b 6e 6f 74 |icatesum|mary{not|
|00003b40| 72 61 63 65 7d 7b 30 7d | 7b 53 74 6f 70 20 74 72 |race}{0}|{Stop tr|
|00003b50| 61 63 69 6e 67 7d 0a 5c | 70 72 65 64 69 63 61 74 |acing}.\|predicat|
|00003b60| 65 73 75 6d 6d 61 72 79 | 7b 6e 6f 74 72 61 63 65 |esummary|{notrace|
|00003b70| 7d 7b 31 7d 7b 44 6f 20 | 6e 6f 74 20 64 65 62 75 |}{1}{Do |not debu|
|00003b80| 67 20 61 72 67 75 6d 65 | 6e 74 20 67 6f 61 6c 7d |g argume|nt goal}|
|00003b90| 0a 5c 70 72 65 64 69 63 | 61 74 65 73 75 6d 6d 61 |.\predic|atesumma|
|00003ba0| 72 79 7b 6e 74 68 30 7d | 7b 33 7d 7b 4e 2d 74 68 |ry{nth0}|{3}{N-th|
|00003bb0| 20 65 6c 65 6d 65 6e 74 | 20 6f 66 20 61 20 6c 69 | element| of a li|
|00003bc0| 73 74 20 28 30 2d 62 61 | 73 65 64 29 7d 0a 5c 70 |st (0-ba|sed)}.\p|
|00003bd0| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|00003be0| 6e 74 68 31 7d 7b 33 7d | 7b 4e 2d 74 68 20 65 6c |nth1}{3}|{N-th el|
|00003bf0| 65 6d 65 6e 74 20 6f 66 | 20 61 20 6c 69 73 74 20 |ement of| a list |
|00003c00| 28 31 2d 62 61 73 65 64 | 29 7d 0a 5c 70 72 65 64 |(1-based|)}.\pred|
|00003c10| 69 63 61 74 65 73 75 6d | 6d 61 72 79 7b 6e 74 68 |icatesum|mary{nth|
|00003c20| 5f 63 6c 61 75 73 65 7d | 7b 33 7d 7b 4e 2d 74 68 |_clause}|{3}{N-th|
|00003c30| 20 63 6c 61 75 73 65 20 | 6f 66 20 61 20 70 72 65 | clause |of a pre|
|00003c40| 64 69 63 61 74 65 7d 0a | 5c 70 72 65 64 69 63 61 |dicate}.|\predica|
|00003c50| 74 65 73 75 6d 6d 61 72 | 79 7b 6e 75 6d 62 65 72 |tesummar|y{number|
|00003c60| 7d 7b 31 7d 7b 54 79 70 | 65 20 63 68 65 63 6b 20 |}{1}{Typ|e check |
|00003c70| 66 6f 72 20 69 6e 74 65 | 67 65 72 20 6f 72 20 66 |for inte|ger or f|
|00003c80| 6c 6f 61 74 7d 0a 5c 70 | 72 65 64 69 63 61 74 65 |loat}.\p|redicate|
|00003c90| 73 75 6d 6d 61 72 79 7b | 6e 75 6d 62 65 72 5f 63 |summary{|number_c|
|00003ca0| 68 61 72 73 7d 7b 32 7d | 7b 43 6f 6e 76 65 72 74 |hars}{2}|{Convert|
|00003cb0| 20 62 65 74 77 65 65 6e | 20 6e 75 6d 62 65 72 20 | between| number |
|00003cc0| 61 6e 64 20 61 74 6f 6d | 7d 0a 5c 70 72 65 64 69 |and atom|}.\predi|
|00003cd0| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 6e 75 6d 62 |catesumm|ary{numb|
|00003ce0| 65 72 76 61 72 73 7d 7b | 34 7d 7b 45 6e 75 6d 65 |ervars}{|4}{Enume|
|00003cf0| 72 61 74 65 20 75 6e 62 | 6f 75 6e 64 20 76 61 72 |rate unb|ound var|
|00003d00| 69 61 62 6c 65 73 20 6f | 66 20 61 20 74 65 72 6d |iables o|f a term|
|00003d10| 20 75 73 69 6e 67 20 61 | 20 67 69 76 65 6e 20 62 | using a| given b|
|00003d20| 61 73 65 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |ase}.\pr|edicates|
|00003d30| 75 6d 6d 61 72 79 7b 6f | 6e 63 65 7d 7b 31 7d 7b |ummary{o|nce}{1}{|
|00003d40| 43 61 6c 6c 20 61 20 67 | 6f 61 6c 20 64 65 74 65 |Call a g|oal dete|
|00003d50| 72 6d 69 6e 69 73 74 69 | 63 61 6c 6c 79 7d 0a 5c |rministi|cally}.\|
|00003d60| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|00003d70| 7b 6f 70 7d 7b 33 7d 7b | 44 65 63 6c 61 72 65 20 |{op}{3}{|Declare |
|00003d80| 61 6e 20 6f 70 65 72 61 | 74 6f 72 7d 0a 5c 70 72 |an opera|tor}.\pr|
|00003d90| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 6f |edicates|ummary{o|
|00003da0| 70 65 6e 7d 7b 33 7d 7b | 4f 70 65 6e 20 61 20 66 |pen}{3}{|Open a f|
|00003db0| 69 6c 65 20 28 63 72 65 | 61 74 69 6e 67 20 61 20 |ile (cre|ating a |
|00003dc0| 73 74 72 65 61 6d 29 7d | 0a 5c 70 72 65 64 69 63 |stream)}|.\predic|
|00003dd0| 61 74 65 73 75 6d 6d 61 | 72 79 7b 6f 70 65 6e 7d |atesumma|ry{open}|
|00003de0| 7b 34 7d 7b 4f 70 65 6e | 20 61 20 66 69 6c 65 20 |{4}{Open| a file |
|00003df0| 28 63 72 65 61 74 69 6e | 67 20 61 20 73 74 72 65 |(creatin|g a stre|
|00003e00| 61 6d 29 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |am)}.\pr|edicates|
|00003e10| 75 6d 6d 61 72 79 7b 6f | 70 65 6e 5f 64 64 65 5f |ummary{o|pen_dde_|
|00003e20| 63 6f 6e 76 65 72 73 61 | 74 69 6f 6e 7d 7b 33 7d |conversa|tion}{3}|
|00003e30| 7b 57 69 6e 33 32 3a 20 | 4f 70 65 6e 20 44 44 45 |{Win32: |Open DDE|
|00003e40| 20 63 68 61 6e 6e 65 6c | 7d 0a 5c 70 72 65 64 69 | channel|}.\predi|
|00003e50| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 6f 70 65 6e |catesumm|ary{open|
|00003e60| 5f 6e 75 6c 6c 5f 73 74 | 72 65 61 6d 7d 7b 31 7d |_null_st|ream}{1}|
|00003e70| 7b 4f 70 65 6e 20 61 20 | 73 74 72 65 61 6d 20 74 |{Open a |stream t|
|00003e80| 6f 20 64 69 73 63 61 72 | 64 20 6f 75 74 70 75 74 |o discar|d output|
|00003e90| 7d 0a 5c 70 72 65 64 69 | 63 61 74 65 73 75 6d 6d |}.\predi|catesumm|
|00003ea0| 61 72 79 7b 6f 70 65 6e | 5f 73 68 61 72 65 64 5f |ary{open|_shared_|
|00003eb0| 6f 62 6a 65 63 74 7d 7b | 32 7d 7b 55 4e 49 58 3a |object}{|2}{UNIX:|
|00003ec0| 20 4f 70 65 6e 20 73 68 | 61 72 65 64 20 6c 69 62 | Open sh|ared lib|
|00003ed0| 72 61 72 79 20 28 2e 73 | 6f 20 66 69 6c 65 29 7d |rary (.s|o file)}|
|00003ee0| 0a 5c 70 72 65 64 69 63 | 61 74 65 73 75 6d 6d 61 |.\predic|atesumma|
|00003ef0| 72 79 7b 6f 70 65 6e 5f | 73 68 61 72 65 64 5f 6f |ry{open_|shared_o|
|00003f00| 62 6a 65 63 74 7d 7b 33 | 7d 7b 55 4e 49 58 3a 20 |bject}{3|}{UNIX: |
|00003f10| 4f 70 65 6e 20 73 68 61 | 72 65 64 20 6c 69 62 72 |Open sha|red libr|
|00003f20| 61 72 79 20 28 2e 73 6f | 20 66 69 6c 65 29 7d 0a |ary (.so| file)}.|
|00003f30| 5c 70 72 65 64 69 63 61 | 74 65 73 75 6d 6d 61 72 |\predica|tesummar|
|00003f40| 79 7b 70 65 65 6b 5f 62 | 79 74 65 7d 7b 31 7d 7b |y{peek_b|yte}{1}{|
|00003f50| 52 65 61 64 20 63 68 61 | 72 61 63 74 65 72 20 77 |Read cha|racter w|
|00003f60| 69 74 68 6f 75 74 20 72 | 65 6d 6f 76 69 6e 67 7d |ithout r|emoving}|
|00003f70| 0a 5c 70 72 65 64 69 63 | 61 74 65 73 75 6d 6d 61 |.\predic|atesumma|
|00003f80| 72 79 7b 70 65 65 6b 5f | 62 79 74 65 7d 7b 32 7d |ry{peek_|byte}{2}|
|00003f90| 7b 52 65 61 64 20 63 68 | 61 72 61 63 74 65 72 20 |{Read ch|aracter |
|00003fa0| 77 69 74 68 6f 75 74 20 | 72 65 6d 6f 76 69 6e 67 |without |removing|
|00003fb0| 7d 0a 5c 70 72 65 64 69 | 63 61 74 65 73 75 6d 6d |}.\predi|catesumm|
|00003fc0| 61 72 79 7b 70 68 72 61 | 73 65 7d 7b 32 7d 7b 41 |ary{phra|se}{2}{A|
|00003fd0| 63 74 69 76 61 74 65 20 | 67 72 61 6d 6d 61 72 2d |ctivate |grammar-|
|00003fe0| 72 75 6c 65 20 73 65 74 | 7d 0a 5c 70 72 65 64 69 |rule set|}.\predi|
|00003ff0| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 70 68 72 61 |catesumm|ary{phra|
|00004000| 73 65 7d 7b 33 7d 7b 41 | 63 74 69 76 61 74 65 20 |se}{3}{A|ctivate |
|00004010| 67 72 61 6d 6d 61 72 2d | 72 75 6c 65 20 73 65 74 |grammar-|rule set|
|00004020| 20 28 72 65 74 75 72 6e | 69 6e 67 20 72 65 73 74 | (return|ing rest|
|00004030| 29 7d 0a 5c 70 72 65 64 | 69 63 61 74 65 73 75 6d |)}.\pred|icatesum|
|00004040| 6d 61 72 79 7b 70 6c 65 | 61 73 65 7d 7b 33 7d 7b |mary{ple|ase}{3}{|
|00004050| 51 75 65 72 79 2f 63 68 | 61 6e 67 65 20 65 6e 76 |Query/ch|ange env|
|00004060| 69 72 6f 6e 6d 65 6e 74 | 20 70 61 72 61 6d 65 74 |ironment| paramet|
|00004070| 65 72 73 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |ers}.\pr|edicates|
|00004080| 75 6d 6d 61 72 79 7b 70 | 6c 75 73 7d 7b 33 7d 7b |ummary{p|lus}{3}{|
|00004090| 4c 6f 67 69 63 61 6c 20 | 69 6e 74 65 67 65 72 20 |Logical |integer |
|000040a0| 61 64 64 69 74 69 6f 6e | 7d 0a 5c 70 72 65 64 69 |addition|}.\predi|
|000040b0| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 70 6f 72 74 |catesumm|ary{port|
|000040c0| 72 61 79 7d 7b 31 7d 7b | 5c 68 6f 6f 6b 7b 75 73 |ray}{1}{|\hook{us|
|000040d0| 65 72 7d 20 4d 6f 64 69 | 66 79 20 62 65 68 61 76 |er} Modi|fy behav|
|000040e0| 69 6f 75 72 20 6f 66 20 | 70 72 69 6e 74 2f 31 7d |iour of |print/1}|
|000040f0| 0a 5c 70 72 65 64 69 63 | 61 74 65 73 75 6d 6d 61 |.\predic|atesumma|
|00004100| 72 79 7b 70 6f 72 74 72 | 61 79 5f 63 6c 61 75 73 |ry{portr|ay_claus|
|00004110| 65 7d 7b 31 7d 7b 50 72 | 65 74 74 79 20 70 72 69 |e}{1}{Pr|etty pri|
|00004120| 6e 74 20 61 20 63 6c 61 | 75 73 65 7d 0a 5c 70 72 |nt a cla|use}.\pr|
|00004130| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 70 |edicates|ummary{p|
|00004140| 72 65 64 69 63 61 74 65 | 5f 70 72 6f 70 65 72 74 |redicate|_propert|
|00004150| 79 7d 7b 32 7d 7b 51 75 | 65 72 79 20 70 72 65 64 |y}{2}{Qu|ery pred|
|00004160| 69 63 61 74 65 20 61 74 | 74 72 69 62 75 74 65 73 |icate at|tributes|
|00004170| 7d 0a 5c 70 72 65 64 69 | 63 61 74 65 73 75 6d 6d |}.\predi|catesumm|
|00004180| 61 72 79 7b 70 72 65 64 | 73 6f 72 74 7d 7b 33 7d |ary{pred|sort}{3}|
|00004190| 7b 53 6f 72 74 2c 20 75 | 73 69 6e 67 20 61 20 70 |{Sort, u|sing a p|
|000041a0| 72 65 64 69 63 61 74 65 | 20 74 6f 20 64 65 74 65 |redicate| to dete|
|000041b0| 72 6d 69 6e 65 20 74 68 | 65 20 6f 72 64 65 72 7d |rmine th|e order}|
|000041c0| 0a 5c 70 72 65 64 69 63 | 61 74 65 73 75 6d 6d 61 |.\predic|atesumma|
|000041d0| 72 79 7b 70 72 65 70 72 | 6f 63 65 73 73 6f 72 7d |ry{prepr|ocessor}|
|000041e0| 7b 32 7d 7b 49 6e 73 74 | 61 6c 6c 20 61 20 70 72 |{2}{Inst|all a pr|
|000041f0| 65 70 72 6f 63 65 73 73 | 6f 72 20 62 65 66 6f 72 |eprocess|or befor|
|00004200| 65 20 74 68 65 20 63 6f | 6d 70 69 6c 65 72 7d 0a |e the co|mpiler}.|
|00004210| 5c 70 72 65 64 69 63 61 | 74 65 73 75 6d 6d 61 72 |\predica|tesummar|
|00004220| 79 7b 70 72 69 6e 74 7d | 7b 31 7d 7b 50 72 69 6e |y{print}|{1}{Prin|
|00004230| 74 20 61 20 74 65 72 6d | 7d 0a 5c 70 72 65 64 69 |t a term|}.\predi|
|00004240| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 70 72 69 6e |catesumm|ary{prin|
|00004250| 74 7d 7b 32 7d 7b 50 72 | 69 6e 74 20 61 20 74 65 |t}{2}{Pr|int a te|
|00004260| 72 6d 20 6f 6e 20 61 20 | 73 74 72 65 61 6d 7d 0a |rm on a |stream}.|
|00004270| 5c 70 72 65 64 69 63 61 | 74 65 73 75 6d 6d 61 72 |\predica|tesummar|
|00004280| 79 7b 70 72 69 6e 74 5f | 6d 65 73 73 61 67 65 7d |y{print_|message}|
|00004290| 7b 32 7d 7b 50 72 69 6e | 74 20 6d 65 73 73 61 67 |{2}{Prin|t messag|
|000042a0| 65 20 66 72 6f 6d 20 28 | 65 78 63 65 70 74 69 6f |e from (|exceptio|
|000042b0| 6e 29 20 74 65 72 6d 7d | 0a 5c 70 72 65 64 69 63 |n) term}|.\predic|
|000042c0| 61 74 65 73 75 6d 6d 61 | 72 79 7b 70 72 6f 66 69 |atesumma|ry{profi|
|000042d0| 6c 65 7d 7b 33 7d 7b 4f | 62 74 61 69 6e 20 65 78 |le}{3}{O|btain ex|
|000042e0| 65 63 75 74 69 6f 6e 20 | 73 74 61 74 69 73 74 69 |ecution |statisti|
|000042f0| 63 73 7d 0a 5c 70 72 65 | 64 69 63 61 74 65 73 75 |cs}.\pre|dicatesu|
|00004300| 6d 6d 61 72 79 7b 70 72 | 6f 66 69 6c 65 5f 63 6f |mmary{pr|ofile_co|
|00004310| 75 6e 74 7d 7b 33 7d 7b | 4f 62 74 61 69 6e 20 70 |unt}{3}{|Obtain p|
|00004320| 72 6f 66 69 6c 65 20 72 | 65 73 75 6c 74 73 20 6f |rofile r|esults o|
|00004330| 6e 20 61 20 70 72 65 64 | 69 63 61 74 65 7d 0a 5c |n a pred|icate}.\|
|00004340| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|00004350| 7b 70 72 6f 66 69 6c 65 | 72 7d 7b 32 7d 7b 4f 62 |{profile|r}{2}{Ob|
|00004360| 74 61 69 6e 2f 63 68 61 | 6e 67 65 20 73 74 61 74 |tain/cha|nge stat|
|00004370| 75 73 20 6f 66 20 74 68 | 65 20 70 72 6f 66 69 6c |us of th|e profil|
|00004380| 65 72 7d 0a 5c 70 72 65 | 64 69 63 61 74 65 73 75 |er}.\pre|dicatesu|
|00004390| 6d 6d 61 72 79 7b 70 72 | 6f 6c 6f 67 7d 7b 30 7d |mmary{pr|olog}{0}|
|000043a0| 7b 52 75 6e 20 69 6e 74 | 65 72 61 63 74 69 76 65 |{Run int|eractive|
|000043b0| 20 74 6f 70 6c 65 76 65 | 6c 7d 0a 5c 70 72 65 64 | topleve|l}.\pred|
|000043c0| 69 63 61 74 65 73 75 6d | 6d 61 72 79 7b 70 72 6f |icatesum|mary{pro|
|000043d0| 6c 6f 67 5f 63 75 72 72 | 65 6e 74 5f 66 72 61 6d |log_curr|ent_fram|
|000043e0| 65 7d 7b 31 7d 7b 52 65 | 66 65 72 65 6e 63 65 20 |e}{1}{Re|ference |
|000043f0| 74 6f 20 67 6f 61 6c 27 | 73 20 65 6e 76 69 72 6f |to goal'|s enviro|
|00004400| 6e 6d 65 6e 74 20 73 74 | 61 63 6b 7d 0a 5c 70 72 |nment st|ack}.\pr|
|00004410| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 70 |edicates|ummary{p|
|00004420| 72 6f 6c 6f 67 5f 66 72 | 61 6d 65 5f 61 74 74 72 |rolog_fr|ame_attr|
|00004430| 69 62 75 74 65 7d 7b 33 | 7d 7b 4f 62 74 61 69 6e |ibute}{3|}{Obtain|
|00004440| 20 69 6e 66 6f 72 6d 61 | 74 69 6f 6e 20 6f 6e 20 | informa|tion on |
|00004450| 61 20 67 6f 61 6c 20 65 | 6e 76 69 72 6f 6e 6d 65 |a goal e|nvironme|
|00004460| 6e 74 7d 0a 5c 70 72 65 | 64 69 63 61 74 65 73 75 |nt}.\pre|dicatesu|
|00004470| 6d 6d 61 72 79 7b 70 72 | 6f 6c 6f 67 5f 6c 6f 61 |mmary{pr|olog_loa|
|00004480| 64 5f 63 6f 6e 74 65 78 | 74 7d 7b 32 7d 7b 43 6f |d_contex|t}{2}{Co|
|00004490| 6e 74 65 78 74 20 69 6e | 66 6f 72 6d 61 74 69 6f |ntext in|formatio|
|000044a0| 6e 20 66 6f 72 20 64 69 | 72 65 63 74 69 76 65 73 |n for di|rectives|
|000044b0| 7d 0a 5c 70 72 65 64 69 | 63 61 74 65 73 75 6d 6d |}.\predi|catesumm|
|000044c0| 61 72 79 7b 70 72 6f 6c | 6f 67 5f 73 6b 69 70 5f |ary{prol|og_skip_|
|000044d0| 6c 65 76 65 6c 7d 7b 32 | 7d 7b 49 6e 64 69 63 61 |level}{2|}{Indica|
|000044e0| 74 65 20 64 65 65 70 65 | 73 74 20 72 65 63 75 72 |te deepe|st recur|
|000044f0| 73 69 6f 6e 20 74 6f 20 | 74 72 61 63 65 7d 0a 5c |sion to |trace}.\|
|00004500| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|00004510| 7b 70 72 6f 6c 6f 67 5f | 74 6f 5f 6f 73 5f 66 69 |{prolog_|to_os_fi|
|00004520| 6c 65 6e 61 6d 65 7d 7b | 32 7d 7b 43 6f 6e 76 65 |lename}{|2}{Conve|
|00004530| 72 74 20 62 65 74 77 65 | 65 6e 20 50 72 6f 6c 6f |rt betwe|en Prolo|
|00004540| 67 20 61 6e 64 20 4f 53 | 20 66 69 6c 65 6e 61 6d |g and OS| filenam|
|00004550| 65 73 7d 0a 5c 70 72 65 | 64 69 63 61 74 65 73 75 |es}.\pre|dicatesu|
|00004560| 6d 6d 61 72 79 7b 70 72 | 6f 6c 6f 67 5f 74 72 61 |mmary{pr|olog_tra|
|00004570| 63 65 5f 69 6e 74 65 72 | 63 65 70 74 69 6f 6e 7d |ce_inter|ception}|
|00004580| 7b 34 7d 7b 5c 70 6c 6c | 69 62 7b 75 73 65 72 7d |{4}{\pll|ib{user}|
|00004590| 20 49 6e 74 65 72 63 65 | 70 74 20 74 68 65 20 50 | Interce|pt the P|
|000045a0| 72 6f 6c 6f 67 20 74 72 | 61 63 65 72 7d 0a 5c 70 |rolog tr|acer}.\p|
|000045b0| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|000045c0| 70 72 6f 6d 70 74 31 7d | 7b 31 7d 7b 43 68 61 6e |prompt1}|{1}{Chan|
|000045d0| 67 65 20 70 72 6f 6d 70 | 74 20 66 6f 72 20 31 20 |ge promp|t for 1 |
|000045e0| 6c 69 6e 65 7d 0a 5c 70 | 72 65 64 69 63 61 74 65 |line}.\p|redicate|
|000045f0| 73 75 6d 6d 61 72 79 7b | 70 72 6f 6d 70 74 7d 7b |summary{|prompt}{|
|00004600| 32 7d 7b 43 68 61 6e 67 | 65 20 74 68 65 20 70 72 |2}{Chang|e the pr|
|00004610| 6f 6d 70 74 20 75 73 65 | 64 20 62 79 20 72 65 61 |ompt use|d by rea|
|00004620| 64 2f 31 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |d/1}.\pr|edicates|
|00004630| 75 6d 6d 61 72 79 7b 70 | 72 6f 70 65 72 5f 6c 69 |ummary{p|roper_li|
|00004640| 73 74 7d 7b 31 7d 7b 54 | 79 70 65 20 63 68 65 63 |st}{1}{T|ype chec|
|00004650| 6b 20 66 6f 72 20 6c 69 | 73 74 7d 0a 5c 70 72 65 |k for li|st}.\pre|
|00004660| 64 69 63 61 74 65 73 75 | 6d 6d 61 72 79 7b 70 72 |dicatesu|mmary{pr|
|00004670| 6f 74 6f 63 6f 6c 7d 7b | 31 7d 7b 4d 61 6b 65 20 |otocol}{|1}{Make |
|00004680| 61 20 6c 6f 67 20 6f 66 | 20 74 68 65 20 75 73 65 |a log of| the use|
|00004690| 72 20 69 6e 74 65 72 61 | 63 74 69 6f 6e 7d 0a 5c |r intera|ction}.\|
|000046a0| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|000046b0| 7b 70 72 6f 74 6f 63 6f | 6c 61 7d 7b 31 7d 7b 41 |{protoco|la}{1}{A|
|000046c0| 70 70 65 6e 64 20 6c 6f | 67 20 6f 66 20 74 68 65 |ppend lo|g of the|
|000046d0| 20 75 73 65 72 20 69 6e | 74 65 72 61 63 74 69 6f | user in|teractio|
|000046e0| 6e 20 74 6f 20 66 69 6c | 65 7d 0a 5c 70 72 65 64 |n to fil|e}.\pred|
|000046f0| 69 63 61 74 65 73 75 6d | 6d 61 72 79 7b 70 72 6f |icatesum|mary{pro|
|00004700| 74 6f 63 6f 6c 6c 69 6e | 67 7d 7b 31 7d 7b 4f 6e |tocollin|g}{1}{On|
|00004710| 20 77 68 61 74 20 66 69 | 6c 65 20 69 73 20 75 73 | what fi|le is us|
|00004720| 65 72 20 69 6e 74 65 72 | 61 63 74 69 6f 6e 20 6c |er inter|action l|
|00004730| 6f 67 67 65 64 7d 0a 5c | 70 72 65 64 69 63 61 74 |ogged}.\|predicat|
|00004740| 65 73 75 6d 6d 61 72 79 | 7b 70 75 74 7d 7b 31 7d |esummary|{put}{1}|
|00004750| 7b 57 72 69 74 65 20 61 | 20 63 68 61 72 61 63 74 |{Write a| charact|
|00004760| 65 72 7d 0a 5c 70 72 65 | 64 69 63 61 74 65 73 75 |er}.\pre|dicatesu|
|00004770| 6d 6d 61 72 79 7b 70 75 | 74 7d 7b 32 7d 7b 57 72 |mmary{pu|t}{2}{Wr|
|00004780| 69 74 65 20 61 20 63 68 | 61 72 61 63 74 65 72 20 |ite a ch|aracter |
|00004790| 6f 6e 20 61 20 73 74 72 | 65 61 6d 7d 0a 5c 70 72 |on a str|eam}.\pr|
|000047a0| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 71 |edicates|ummary{q|
|000047b0| 63 6f 6d 70 69 6c 65 7d | 7b 31 7d 7b 43 6f 6d 70 |compile}|{1}{Comp|
|000047c0| 69 6c 65 20 73 6f 75 72 | 63 65 20 74 6f 20 51 75 |ile sour|ce to Qu|
|000047d0| 69 63 6b 20 4c 6f 61 64 | 20 46 69 6c 65 7d 0a 5c |ick Load| File}.\|
|000047e0| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|000047f0| 7b 71 6c 6f 61 64 7d 7b | 31 7d 7b 4c 6f 61 64 20 |{qload}{|1}{Load |
|00004800| 51 75 69 63 6b 20 4c 6f | 61 64 20 46 69 6c 65 20 |Quick Lo|ad File |
|00004810| 61 73 20 63 6f 6e 73 75 | 6c 74 2f 31 7d 0a 5c 70 |as consu|lt/1}.\p|
|00004820| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|00004830| 71 73 61 76 65 5f 70 72 | 6f 67 72 61 6d 7d 7b 31 |qsave_pr|ogram}{1|
|00004840| 7d 7b 43 72 65 61 74 65 | 20 72 75 6e 74 69 6d 65 |}{Create| runtime|
|00004850| 20 61 70 70 6c 69 63 61 | 74 69 6f 6e 7d 0a 5c 70 | applica|tion}.\p|
|00004860| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|00004870| 71 73 61 76 65 5f 70 72 | 6f 67 72 61 6d 7d 7b 32 |qsave_pr|ogram}{2|
|00004880| 7d 7b 43 72 65 61 74 65 | 20 72 75 6e 74 69 6d 65 |}{Create| runtime|
|00004890| 20 61 70 70 6c 69 63 61 | 74 69 6f 6e 7d 0a 5c 70 | applica|tion}.\p|
|000048a0| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|000048b0| 72 65 61 64 7d 7b 31 7d | 7b 52 65 61 64 20 50 72 |read}{1}|{Read Pr|
|000048c0| 6f 6c 6f 67 20 74 65 72 | 6d 7d 0a 5c 70 72 65 64 |olog ter|m}.\pred|
|000048d0| 69 63 61 74 65 73 75 6d | 6d 61 72 79 7b 72 65 61 |icatesum|mary{rea|
|000048e0| 64 7d 7b 32 7d 7b 52 65 | 61 64 20 50 72 6f 6c 6f |d}{2}{Re|ad Prolo|
|000048f0| 67 20 74 65 72 6d 20 66 | 72 6f 6d 20 73 74 72 65 |g term f|rom stre|
|00004900| 61 6d 7d 0a 5c 70 72 65 | 64 69 63 61 74 65 73 75 |am}.\pre|dicatesu|
|00004910| 6d 6d 61 72 79 7b 72 65 | 61 64 5f 63 6c 61 75 73 |mmary{re|ad_claus|
|00004920| 65 7d 7b 31 7d 7b 52 65 | 61 64 20 63 6c 61 75 73 |e}{1}{Re|ad claus|
|00004930| 65 7d 0a 5c 70 72 65 64 | 69 63 61 74 65 73 75 6d |e}.\pred|icatesum|
|00004940| 6d 61 72 79 7b 72 65 61 | 64 5f 63 6c 61 75 73 65 |mary{rea|d_clause|
|00004950| 7d 7b 32 7d 7b 52 65 61 | 64 20 63 6c 61 75 73 65 |}{2}{Rea|d clause|
|00004960| 20 66 72 6f 6d 20 73 74 | 72 65 61 6d 7d 0a 5c 70 | from st|ream}.\p|
|00004970| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|00004980| 72 65 61 64 5f 68 69 73 | 74 6f 72 79 7d 7b 36 7d |read_his|tory}{6}|
|00004990| 7b 52 65 61 64 20 75 73 | 69 6e 67 20 68 69 73 74 |{Read us|ing hist|
|000049a0| 6f 72 79 20 73 75 62 73 | 74 69 74 75 74 69 6f 6e |ory subs|titution|
|000049b0| 7d 0a 5c 70 72 65 64 69 | 63 61 74 65 73 75 6d 6d |}.\predi|catesumm|
|000049c0| 61 72 79 7b 72 65 61 64 | 5f 6c 69 6e 6b 7d 7b 33 |ary{read|_link}{3|
|000049d0| 7d 7b 52 65 61 64 20 61 | 20 73 79 6d 62 6f 6c 69 |}{Read a| symboli|
|000049e0| 63 20 6c 69 6e 6b 7d 0a | 5c 70 72 65 64 69 63 61 |c link}.|\predica|
|000049f0| 74 65 73 75 6d 6d 61 72 | 79 7b 72 65 61 64 5f 74 |tesummar|y{read_t|
|00004a00| 65 72 6d 7d 7b 32 7d 7b | 52 65 61 64 20 74 65 72 |erm}{2}{|Read ter|
|00004a10| 6d 20 77 69 74 68 20 6f | 70 74 69 6f 6e 73 7d 0a |m with o|ptions}.|
|00004a20| 5c 70 72 65 64 69 63 61 | 74 65 73 75 6d 6d 61 72 |\predica|tesummar|
|00004a30| 79 7b 72 65 61 64 5f 74 | 65 72 6d 7d 7b 33 7d 7b |y{read_t|erm}{3}{|
|00004a40| 52 65 61 64 20 74 65 72 | 6d 20 77 69 74 68 20 6f |Read ter|m with o|
|00004a50| 70 74 69 6f 6e 73 20 66 | 72 6f 6d 20 73 74 72 65 |ptions f|rom stre|
|00004a60| 61 6d 7d 0a 5c 70 72 65 | 64 69 63 61 74 65 73 75 |am}.\pre|dicatesu|
|00004a70| 6d 6d 61 72 79 7b 72 65 | 61 64 5f 76 61 72 69 61 |mmary{re|ad_varia|
|00004a80| 62 6c 65 73 7d 7b 32 7d | 7b 52 65 61 64 20 63 6c |bles}{2}|{Read cl|
|00004a90| 61 75 73 65 20 69 6e 63 | 6c 75 64 69 6e 67 20 76 |ause inc|luding v|
|00004aa0| 61 72 69 61 62 6c 65 20 | 6e 61 6d 65 73 7d 0a 5c |ariable |names}.\|
|00004ab0| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|00004ac0| 7b 72 65 61 64 5f 76 61 | 72 69 61 62 6c 65 73 7d |{read_va|riables}|
|00004ad0| 7b 33 7d 7b 52 65 61 64 | 20 63 6c 61 75 73 65 20 |{3}{Read| clause |
|00004ae0| 69 6e 63 6c 75 64 69 6e | 67 20 76 61 72 69 61 62 |includin|g variab|
|00004af0| 6c 65 20 6e 61 6d 65 73 | 20 66 72 6f 6d 20 73 74 |le names| from st|
|00004b00| 72 65 61 6d 20 7d 0a 5c | 70 72 65 64 69 63 61 74 |ream }.\|predicat|
|00004b10| 65 73 75 6d 6d 61 72 79 | 7b 72 65 63 6f 72 64 61 |esummary|{recorda|
|00004b20| 7d 7b 32 7d 7b 52 65 63 | 6f 72 64 20 74 65 72 6d |}{2}{Rec|ord term|
|00004b30| 20 69 6e 20 74 68 65 20 | 64 61 74 61 62 61 73 65 | in the |database|
|00004b40| 20 28 66 69 72 73 74 29 | 7d 0a 5c 70 72 65 64 69 | (first)|}.\predi|
|00004b50| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 72 65 63 6f |catesumm|ary{reco|
|00004b60| 72 64 61 7d 7b 33 7d 7b | 52 65 63 6f 72 64 20 74 |rda}{3}{|Record t|
|00004b70| 65 72 6d 20 69 6e 20 74 | 68 65 20 64 61 74 61 62 |erm in t|he datab|
|00004b80| 61 73 65 20 28 66 69 72 | 73 74 29 7d 0a 5c 70 72 |ase (fir|st)}.\pr|
|00004b90| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 72 |edicates|ummary{r|
|00004ba0| 65 63 6f 72 64 65 64 7d | 7b 32 7d 7b 4f 62 74 61 |ecorded}|{2}{Obta|
|00004bb0| 69 6e 20 74 65 72 6d 20 | 66 72 6f 6d 20 74 68 65 |in term |from the|
|00004bc0| 20 64 61 74 61 62 61 73 | 65 7d 0a 5c 70 72 65 64 | databas|e}.\pred|
|00004bd0| 69 63 61 74 65 73 75 6d | 6d 61 72 79 7b 72 65 63 |icatesum|mary{rec|
|00004be0| 6f 72 64 65 64 7d 7b 33 | 7d 7b 4f 62 74 61 69 6e |orded}{3|}{Obtain|
|00004bf0| 20 74 65 72 6d 20 66 72 | 6f 6d 20 74 68 65 20 64 | term fr|om the d|
|00004c00| 61 74 61 62 61 73 65 7d | 0a 5c 70 72 65 64 69 63 |atabase}|.\predic|
|00004c10| 61 74 65 73 75 6d 6d 61 | 72 79 7b 72 65 63 6f 72 |atesumma|ry{recor|
|00004c20| 64 7a 7d 7b 32 7d 7b 52 | 65 63 6f 72 64 20 74 65 |dz}{2}{R|ecord te|
|00004c30| 72 6d 20 69 6e 20 74 68 | 65 20 64 61 74 61 62 61 |rm in th|e databa|
|00004c40| 73 65 20 28 6c 61 73 74 | 29 7d 0a 5c 70 72 65 64 |se (last|)}.\pred|
|00004c50| 69 63 61 74 65 73 75 6d | 6d 61 72 79 7b 72 65 63 |icatesum|mary{rec|
|00004c60| 6f 72 64 7a 7d 7b 33 7d | 7b 52 65 63 6f 72 64 20 |ordz}{3}|{Record |
|00004c70| 74 65 72 6d 20 69 6e 20 | 74 68 65 20 64 61 74 61 |term in |the data|
|00004c80| 62 61 73 65 20 28 6c 61 | 73 74 29 7d 0a 5c 70 72 |base (la|st)}.\pr|
|00004c90| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 72 |edicates|ummary{r|
|00004ca0| 65 64 65 66 69 6e 65 5f | 73 79 73 74 65 6d 5f 70 |edefine_|system_p|
|00004cb0| 72 65 64 69 63 61 74 65 | 7d 7b 31 7d 7b 41 62 6f |redicate|}{1}{Abo|
|00004cc0| 6c 69 73 68 20 73 79 73 | 74 65 6d 20 64 65 66 69 |lish sys|tem defi|
|00004cd0| 6e 69 74 69 6f 6e 7d 0a | 5c 70 72 65 64 69 63 61 |nition}.|\predica|
|00004ce0| 74 65 73 75 6d 6d 61 72 | 79 7b 72 65 6e 61 6d 65 |tesummar|y{rename|
|00004cf0| 5f 66 69 6c 65 7d 7b 32 | 7d 7b 43 68 61 6e 67 65 |_file}{2|}{Change|
|00004d00| 20 6e 61 6d 65 20 6f 66 | 20 66 69 6c 65 7d 0a 5c | name of| file}.\|
|00004d10| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|00004d20| 7b 72 65 70 65 61 74 7d | 7b 30 7d 7b 53 75 63 63 |{repeat}|{0}{Succ|
|00004d30| 65 65 64 2c 20 6c 65 61 | 76 69 6e 67 20 69 6e 66 |eed, lea|ving inf|
|00004d40| 69 6e 69 74 65 20 62 61 | 63 6b 74 72 61 63 6b 20 |inite ba|cktrack |
|00004d50| 70 6f 69 6e 74 73 7d 0a | 5c 70 72 65 64 69 63 61 |points}.|\predica|
|00004d60| 74 65 73 75 6d 6d 61 72 | 79 7b 72 65 71 75 69 72 |tesummar|y{requir|
|00004d70| 65 7d 7b 31 7d 7b 54 68 | 69 73 20 66 69 6c 65 20 |e}{1}{Th|is file |
|00004d80| 72 65 71 75 69 72 65 73 | 20 74 68 65 73 65 20 70 |requires| these p|
|00004d90| 72 65 64 69 63 61 74 65 | 73 7d 0a 5c 70 72 65 64 |redicate|s}.\pred|
|00004da0| 69 63 61 74 65 73 75 6d | 6d 61 72 79 7b 72 65 73 |icatesum|mary{res|
|00004db0| 65 74 5f 70 72 6f 66 69 | 6c 65 72 7d 7b 30 7d 7b |et_profi|ler}{0}{|
|00004dc0| 43 6c 65 61 72 20 73 74 | 61 74 69 73 74 69 63 73 |Clear st|atistics|
|00004dd0| 20 6f 62 74 61 69 6e 65 | 64 20 62 79 20 74 68 65 | obtaine|d by the|
|00004de0| 20 70 72 6f 66 69 6c 65 | 72 7d 0a 5c 70 72 65 64 | profile|r}.\pred|
|00004df0| 69 63 61 74 65 73 75 6d | 6d 61 72 79 7b 72 65 73 |icatesum|mary{res|
|00004e00| 74 6f 72 65 7d 7b 31 7d | 7b 52 65 73 74 6f 72 65 |tore}{1}|{Restore|
|00004e10| 20 73 61 76 65 64 2d 73 | 74 61 74 65 20 28 73 61 | saved-s|tate (sa|
|00004e20| 76 65 2f 31 2c 20 73 61 | 76 65 5f 70 72 6f 67 72 |ve/1, sa|ve_progr|
|00004e30| 61 6d 2f 31 29 7d 0a 5c | 70 72 65 64 69 63 61 74 |am/1)}.\|predicat|
|00004e40| 65 73 75 6d 6d 61 72 79 | 7b 72 65 74 72 61 63 74 |esummary|{retract|
|00004e50| 7d 7b 31 7d 7b 52 65 6d | 6f 76 65 20 63 6c 61 75 |}{1}{Rem|ove clau|
|00004e60| 73 65 20 66 72 6f 6d 20 | 74 68 65 20 64 61 74 61 |se from |the data|
|00004e70| 62 61 73 65 7d 0a 5c 70 | 72 65 64 69 63 61 74 65 |base}.\p|redicate|
|00004e80| 73 75 6d 6d 61 72 79 7b | 72 65 74 72 61 63 74 61 |summary{|retracta|
|00004e90| 6c 6c 7d 7b 31 7d 7b 52 | 65 6d 6f 76 65 20 75 6e |ll}{1}{R|emove un|
|00004ea0| 69 66 79 69 6e 67 20 63 | 6c 61 75 73 65 73 20 66 |ifying c|lauses f|
|00004eb0| 72 6f 6d 20 74 68 65 20 | 64 61 74 61 62 61 73 65 |rom the |database|
|00004ec0| 7d 0a 5c 70 72 65 64 69 | 63 61 74 65 73 75 6d 6d |}.\predi|catesumm|
|00004ed0| 61 72 79 7b 72 65 76 65 | 72 73 65 7d 7b 32 7d 7b |ary{reve|rse}{2}{|
|00004ee0| 49 6e 76 65 72 73 65 20 | 74 68 65 20 6f 72 64 65 |Inverse |the orde|
|00004ef0| 72 20 6f 66 20 74 68 65 | 20 65 6c 65 6d 65 6e 74 |r of the| element|
|00004f00| 73 20 69 6e 20 61 20 6c | 69 73 74 7d 0a 5c 70 72 |s in a l|ist}.\pr|
|00004f10| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 73 |edicates|ummary{s|
|00004f20| 61 6d 65 5f 66 69 6c 65 | 7d 7b 32 7d 7b 53 75 63 |ame_file|}{2}{Suc|
|00004f30| 63 65 65 64 73 20 69 66 | 20 61 72 67 75 6d 65 6e |ceeds if| argumen|
|00004f40| 74 73 20 72 65 66 65 72 | 20 74 6f 20 73 61 6d 65 |ts refer| to same|
|00004f50| 20 66 69 6c 65 7d 0a 5c | 70 72 65 64 69 63 61 74 | file}.\|predicat|
|00004f60| 65 73 75 6d 6d 61 72 79 | 7b 73 61 76 65 7d 7b 31 |esummary|{save}{1|
|00004f70| 7d 7b 53 61 76 65 20 70 | 72 6f 67 72 61 6d 20 69 |}{Save p|rogram i|
|00004f80| 6e 63 6c 75 64 69 6e 67 | 20 63 75 72 72 65 6e 74 |ncluding| current|
|00004f90| 20 67 6f 61 6c 7d 0a 5c | 70 72 65 64 69 63 61 74 | goal}.\|predicat|
|00004fa0| 65 73 75 6d 6d 61 72 79 | 7b 73 61 76 65 7d 7b 32 |esummary|{save}{2|
|00004fb0| 7d 7b 53 61 76 65 20 70 | 72 6f 67 72 61 6d 20 69 |}{Save p|rogram i|
|00004fc0| 6e 63 6c 75 64 69 6e 67 | 20 63 75 72 72 65 6e 74 |ncluding| current|
|00004fd0| 20 67 6f 61 6c 7d 0a 5c | 70 72 65 64 69 63 61 74 | goal}.\|predicat|
|00004fe0| 65 73 75 6d 6d 61 72 79 | 7b 73 61 76 65 5f 70 72 |esummary|{save_pr|
|00004ff0| 6f 67 72 61 6d 7d 7b 31 | 7d 7b 53 61 76 65 20 74 |ogram}{1|}{Save t|
|00005000| 68 65 20 63 75 72 72 65 | 6e 74 20 70 72 6f 67 72 |he curre|nt progr|
|00005010| 61 6d 20 6f 6e 20 61 20 | 66 69 6c 65 7d 0a 5c 70 |am on a |file}.\p|
|00005020| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|00005030| 73 61 76 65 5f 70 72 6f | 67 72 61 6d 7d 7b 32 7d |save_pro|gram}{2}|
|00005040| 7b 53 61 76 65 20 74 68 | 65 20 63 75 72 72 65 6e |{Save th|e curren|
|00005050| 74 20 70 72 6f 67 72 61 | 6d 20 6f 6e 20 61 20 66 |t progra|m on a f|
|00005060| 69 6c 65 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |ile}.\pr|edicates|
|00005070| 75 6d 6d 61 72 79 7b 73 | 65 65 7d 7b 31 7d 7b 43 |ummary{s|ee}{1}{C|
|00005080| 68 61 6e 67 65 20 74 68 | 65 20 63 75 72 72 65 6e |hange th|e curren|
|00005090| 74 20 69 6e 70 75 74 20 | 73 74 72 65 61 6d 7d 0a |t input |stream}.|
|000050a0| 5c 70 72 65 64 69 63 61 | 74 65 73 75 6d 6d 61 72 |\predica|tesummar|
|000050b0| 79 7b 73 65 65 69 6e 67 | 7d 7b 31 7d 7b 51 75 65 |y{seeing|}{1}{Que|
|000050c0| 72 79 20 74 68 65 20 63 | 75 72 72 65 6e 74 20 69 |ry the c|urrent i|
|000050d0| 6e 70 75 74 20 73 74 72 | 65 61 6d 7d 0a 5c 70 72 |nput str|eam}.\pr|
|000050e0| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 73 |edicates|ummary{s|
|000050f0| 65 65 6e 7d 7b 30 7d 7b | 43 6c 6f 73 65 20 74 68 |een}{0}{|Close th|
|00005100| 65 20 63 75 72 72 65 6e | 74 20 69 6e 70 75 74 20 |e curren|t input |
|00005110| 73 74 72 65 61 6d 7d 0a | 5c 70 72 65 64 69 63 61 |stream}.|\predica|
|00005120| 74 65 73 75 6d 6d 61 72 | 79 7b 73 65 6c 65 63 74 |tesummar|y{select|
|00005130| 7d 7b 33 7d 7b 53 65 6c | 65 63 74 20 65 6c 65 6d |}{3}{Sel|ect elem|
|00005140| 65 6e 74 20 6f 66 20 61 | 20 6c 69 73 74 7d 0a 5c |ent of a| list}.\|
|00005150| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|00005160| 7b 73 65 74 5f 66 65 61 | 74 75 72 65 7d 7b 32 7d |{set_fea|ture}{2}|
|00005170| 7b 44 65 66 69 6e 65 20 | 61 20 73 79 73 74 65 6d |{Define |a system|
|00005180| 20 66 65 61 74 75 72 65 | 7d 0a 5c 70 72 65 64 69 | feature|}.\predi|
|00005190| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 73 65 74 5f |catesumm|ary{set_|
|000051a0| 69 6e 70 75 74 7d 7b 31 | 7d 7b 53 65 74 20 63 75 |input}{1|}{Set cu|
|000051b0| 72 72 65 6e 74 20 69 6e | 70 75 74 20 73 74 72 65 |rrent in|put stre|
|000051c0| 61 6d 20 66 72 6f 6d 20 | 61 20 73 74 72 65 61 6d |am from |a stream|
|000051d0| 7d 0a 5c 70 72 65 64 69 | 63 61 74 65 73 75 6d 6d |}.\predi|catesumm|
|000051e0| 61 72 79 7b 73 65 74 5f | 6f 75 74 70 75 74 7d 7b |ary{set_|output}{|
|000051f0| 31 7d 7b 53 65 74 20 63 | 75 72 72 65 6e 74 20 6f |1}{Set c|urrent o|
|00005200| 75 74 70 75 74 20 73 74 | 72 65 61 6d 20 66 72 6f |utput st|ream fro|
|00005210| 6d 20 61 20 73 74 72 65 | 61 6d 7d 0a 5c 70 72 65 |m a stre|am}.\pre|
|00005220| 64 69 63 61 74 65 73 75 | 6d 6d 61 72 79 7b 73 65 |dicatesu|mmary{se|
|00005230| 74 5f 74 74 79 7d 7b 32 | 7d 7b 53 65 74 20 60 74 |t_tty}{2|}{Set `t|
|00005240| 74 79 27 20 73 74 72 65 | 61 6d 7d 0a 5c 70 72 65 |ty' stre|am}.\pre|
|00005250| 64 69 63 61 74 65 73 75 | 6d 6d 61 72 79 7b 73 65 |dicatesu|mmary{se|
|00005260| 74 61 72 67 7d 7b 33 7d | 7b 44 65 73 74 72 75 63 |targ}{3}|{Destruc|
|00005270| 74 69 76 65 20 61 73 73 | 69 67 6e 6d 65 6e 74 20 |tive ass|ignment |
|00005280| 6f 6e 20 74 65 72 6d 7d | 0a 5c 70 72 65 64 69 63 |on term}|.\predic|
|00005290| 61 74 65 73 75 6d 6d 61 | 72 79 7b 73 65 74 65 6e |atesumma|ry{seten|
|000052a0| 76 7d 7b 32 7d 7b 53 65 | 74 20 73 68 65 6c 6c 20 |v}{2}{Se|t shell |
|000052b0| 65 6e 76 69 72 6f 6e 6d | 65 6e 74 20 76 61 72 69 |environm|ent vari|
|000052c0| 61 62 6c 65 7d 0a 5c 70 | 72 65 64 69 63 61 74 65 |able}.\p|redicate|
|000052d0| 73 75 6d 6d 61 72 79 7b | 73 65 74 6f 66 7d 7b 33 |summary{|setof}{3|
|000052e0| 7d 7b 46 69 6e 64 20 61 | 6c 6c 20 75 6e 69 71 75 |}{Find a|ll uniqu|
|000052f0| 65 20 73 6f 6c 75 74 69 | 6f 6e 73 20 74 6f 20 61 |e soluti|ons to a|
|00005300| 20 67 6f 61 6c 7d 0a 5c | 70 72 65 64 69 63 61 74 | goal}.\|predicat|
|00005310| 65 73 75 6d 6d 61 72 79 | 7b 73 66 6f 72 6d 61 74 |esummary|{sformat|
|00005320| 7d 7b 32 7d 7b 46 6f 72 | 6d 61 74 20 6f 6e 20 61 |}{2}{For|mat on a|
|00005330| 20 73 74 72 69 6e 67 7d | 0a 5c 70 72 65 64 69 63 | string}|.\predic|
|00005340| 61 74 65 73 75 6d 6d 61 | 72 79 7b 73 66 6f 72 6d |atesumma|ry{sform|
|00005350| 61 74 7d 7b 33 7d 7b 46 | 6f 72 6d 61 74 20 6f 6e |at}{3}{F|ormat on|
|00005360| 20 61 20 73 74 72 69 6e | 67 7d 0a 5c 70 72 65 64 | a strin|g}.\pred|
|00005370| 69 63 61 74 65 73 75 6d | 6d 61 72 79 7b 73 68 65 |icatesum|mary{she|
|00005380| 6c 6c 7d 7b 30 7d 7b 45 | 78 65 63 75 74 65 20 69 |ll}{0}{E|xecute i|
|00005390| 6e 74 65 72 61 63 74 69 | 76 65 20 73 75 62 73 68 |nteracti|ve subsh|
|000053a0| 65 6c 6c 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |ell}.\pr|edicates|
|000053b0| 75 6d 6d 61 72 79 7b 73 | 68 65 6c 6c 7d 7b 31 7d |ummary{s|hell}{1}|
|000053c0| 7b 45 78 65 63 75 74 65 | 20 4f 53 20 63 6f 6d 6d |{Execute| OS comm|
|000053d0| 61 6e 64 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |and}.\pr|edicates|
|000053e0| 75 6d 6d 61 72 79 7b 73 | 68 65 6c 6c 7d 7b 32 7d |ummary{s|hell}{2}|
|000053f0| 7b 45 78 65 63 75 74 65 | 20 4f 53 20 63 6f 6d 6d |{Execute| OS comm|
|00005400| 61 6e 64 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |and}.\pr|edicates|
|00005410| 75 6d 6d 61 72 79 7b 73 | 68 6f 77 5f 70 72 6f 66 |ummary{s|how_prof|
|00005420| 69 6c 65 7d 7b 31 7d 7b | 53 68 6f 77 20 72 65 73 |ile}{1}{|Show res|
|00005430| 75 6c 74 73 20 6f 66 20 | 74 68 65 20 70 72 6f 66 |ults of |the prof|
|00005440| 69 6c 65 72 7d 0a 5c 70 | 72 65 64 69 63 61 74 65 |iler}.\p|redicate|
|00005450| 73 75 6d 6d 61 72 79 7b | 73 69 7a 65 5f 66 69 6c |summary{|size_fil|
|00005460| 65 7d 7b 32 7d 7b 47 65 | 74 20 73 69 7a 65 20 6f |e}{2}{Ge|t size o|
|00005470| 66 20 61 20 66 69 6c 65 | 20 69 6e 20 63 68 61 72 |f a file| in char|
|00005480| 61 63 74 65 72 73 7d 0a | 5c 70 72 65 64 69 63 61 |acters}.|\predica|
|00005490| 74 65 73 75 6d 6d 61 72 | 79 7b 73 6b 69 70 7d 7b |tesummar|y{skip}{|
|000054a0| 31 7d 7b 53 6b 69 70 20 | 74 6f 20 63 68 61 72 61 |1}{Skip |to chara|
|000054b0| 63 74 65 72 20 69 6e 20 | 63 75 72 72 65 6e 74 20 |cter in |current |
|000054c0| 69 6e 70 75 74 7d 0a 5c | 70 72 65 64 69 63 61 74 |input}.\|predicat|
|000054d0| 65 73 75 6d 6d 61 72 79 | 7b 73 6b 69 70 7d 7b 32 |esummary|{skip}{2|
|000054e0| 7d 7b 53 6b 69 70 20 74 | 6f 20 63 68 61 72 61 63 |}{Skip t|o charac|
|000054f0| 74 65 72 20 6f 6e 20 73 | 74 72 65 61 6d 7d 0a 5c |ter on s|tream}.\|
|00005500| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|00005510| 7b 72 6c 5f 61 64 64 5f | 68 69 73 74 6f 72 79 7d |{rl_add_|history}|
|00005520| 7b 31 7d 7b 41 64 64 20 | 6c 69 6e 65 20 74 6f 20 |{1}{Add |line to |
|00005530| 72 65 61 64 6c 69 6e 65 | 28 33 29 20 68 69 73 74 |readline|(3) hist|
|00005540| 6f 72 79 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |ory}.\pr|edicates|
|00005550| 75 6d 6d 61 72 79 7b 72 | 6c 5f 72 65 61 64 5f 69 |ummary{r|l_read_i|
|00005560| 6e 69 74 5f 66 69 6c 65 | 7d 7b 31 7d 7b 52 65 61 |nit_file|}{1}{Rea|
|00005570| 64 20 72 65 61 64 6c 69 | 6e 65 28 33 29 20 69 6e |d readli|ne(3) in|
|00005580| 69 74 20 66 69 6c 65 7d | 0a 5c 70 72 65 64 69 63 |it file}|.\predic|
|00005590| 61 74 65 73 75 6d 6d 61 | 72 79 7b 73 6c 65 65 70 |atesumma|ry{sleep|
|000055a0| 7d 7b 31 7d 7b 53 75 73 | 70 65 6e 64 20 65 78 65 |}{1}{Sus|pend exe|
|000055b0| 63 75 74 69 6f 6e 20 66 | 6f 72 20 73 70 65 63 69 |cution f|or speci|
|000055c0| 66 69 65 64 20 74 69 6d | 65 7d 0a 5c 70 72 65 64 |fied tim|e}.\pred|
|000055d0| 69 63 61 74 65 73 75 6d | 6d 61 72 79 7b 73 6f 72 |icatesum|mary{sor|
|000055e0| 74 7d 7b 32 7d 7b 53 6f | 72 74 20 65 6c 65 6d 65 |t}{2}{So|rt eleme|
|000055f0| 6e 74 73 20 69 6e 20 61 | 20 6c 69 73 74 7d 0a 5c |nts in a| list}.\|
|00005600| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|00005610| 7b 73 6f 75 72 63 65 5f | 66 69 6c 65 7d 7b 31 7d |{source_|file}{1}|
|00005620| 7b 45 78 61 6d 69 6e 65 | 20 63 75 72 72 65 6e 74 |{Examine| current|
|00005630| 6c 79 20 6c 6f 61 64 65 | 64 20 73 6f 75 72 63 65 |ly loade|d source|
|00005640| 20 66 69 6c 65 73 7d 0a | 5c 70 72 65 64 69 63 61 | files}.|\predica|
|00005650| 74 65 73 75 6d 6d 61 72 | 79 7b 73 6f 75 72 63 65 |tesummar|y{source|
|00005660| 5f 66 69 6c 65 7d 7b 32 | 7d 7b 4f 62 74 61 69 6e |_file}{2|}{Obtain|
|00005670| 20 73 6f 75 72 63 65 20 | 66 69 6c 65 20 6f 66 20 | source |file of |
|00005680| 70 72 65 64 69 63 61 74 | 65 7d 0a 5c 70 72 65 64 |predicat|e}.\pred|
|00005690| 69 63 61 74 65 73 75 6d | 6d 61 72 79 7b 73 6f 75 |icatesum|mary{sou|
|000056a0| 72 63 65 5f 6c 6f 63 61 | 74 69 6f 6e 7d 7b 32 7d |rce_loca|tion}{2}|
|000056b0| 7b 4c 6f 63 61 74 69 6f | 6e 20 6f 66 20 6c 61 73 |{Locatio|n of las|
|000056c0| 74 20 72 65 61 64 20 74 | 65 72 6d 7d 0a 5c 70 72 |t read t|erm}.\pr|
|000056d0| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 73 |edicates|ummary{s|
|000056e0| 70 79 7d 7b 31 7d 7b 46 | 6f 72 63 65 20 74 72 61 |py}{1}{F|orce tra|
|000056f0| 63 65 72 20 6f 6e 20 73 | 70 65 63 69 66 69 65 64 |cer on s|pecified|
|00005700| 20 70 72 65 64 69 63 61 | 74 65 7d 0a 5c 70 72 65 | predica|te}.\pre|
|00005710| 64 69 63 61 74 65 73 75 | 6d 6d 61 72 79 7b 73 74 |dicatesu|mmary{st|
|00005720| 61 63 6b 5f 70 61 72 61 | 6d 65 74 65 72 7d 7b 34 |ack_para|meter}{4|
|00005730| 7d 7b 53 6f 6d 65 20 73 | 79 73 74 65 6d 73 3a 20 |}{Some s|ystems: |
|00005740| 51 75 65 72 79 2f 53 65 | 74 20 72 75 6e 74 69 6d |Query/Se|t runtim|
|00005750| 65 20 73 74 61 63 6b 20 | 70 61 72 61 6d 65 74 65 |e stack |paramete|
|00005760| 72 7d 0a 5c 70 72 65 64 | 69 63 61 74 65 73 75 6d |r}.\pred|icatesum|
|00005770| 6d 61 72 79 7b 73 74 61 | 74 69 73 74 69 63 73 7d |mary{sta|tistics}|
|00005780| 7b 30 7d 7b 53 68 6f 77 | 20 65 78 65 63 75 74 69 |{0}{Show| executi|
|00005790| 6f 6e 20 73 74 61 74 69 | 73 74 69 63 73 7d 0a 5c |on stati|stics}.\|
|000057a0| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|000057b0| 7b 73 74 61 74 69 73 74 | 69 63 73 7d 7b 32 7d 7b |{statist|ics}{2}{|
|000057c0| 4f 62 74 61 69 6e 20 63 | 6f 6c 6c 65 63 74 65 64 |Obtain c|ollected|
|000057d0| 20 73 74 61 74 69 73 74 | 69 63 73 7d 0a 5c 70 72 | statist|ics}.\pr|
|000057e0| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 73 |edicates|ummary{s|
|000057f0| 74 72 65 61 6d 5f 70 6f | 73 69 74 69 6f 6e 7d 7b |tream_po|sition}{|
|00005800| 33 7d 7b 47 65 74 2f 73 | 65 65 6b 20 74 6f 20 70 |3}{Get/s|eek to p|
|00005810| 6f 73 69 74 69 6f 6e 20 | 69 6e 20 66 69 6c 65 7d |osition |in file}|
|00005820| 0a 5c 70 72 65 64 69 63 | 61 74 65 73 75 6d 6d 61 |.\predic|atesumma|
|00005830| 72 79 7b 73 74 72 69 6e | 67 7d 7b 31 7d 7b 54 79 |ry{strin|g}{1}{Ty|
|00005840| 70 65 20 63 68 65 63 6b | 20 66 6f 72 20 73 74 72 |pe check| for str|
|00005850| 69 6e 67 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |ing}.\pr|edicates|
|00005860| 75 6d 6d 61 72 79 7b 73 | 74 72 69 6e 67 5f 63 6f |ummary{s|tring_co|
|00005870| 6e 63 61 74 7d 7b 33 7d | 7b 63 6f 6e 63 61 74 2f |ncat}{3}|{concat/|
|00005880| 33 20 66 6f 72 20 73 74 | 72 69 6e 67 73 20 28 6e |3 for st|rings (n|
|00005890| 6f 6e 2d 64 65 74 65 72 | 6d 69 6e 69 73 74 69 63 |on-deter|ministic|
|000058a0| 29 7d 0a 5c 70 72 65 64 | 69 63 61 74 65 73 75 6d |)}.\pred|icatesum|
|000058b0| 6d 61 72 79 7b 73 74 72 | 69 6e 67 5f 6c 65 6e 67 |mary{str|ing_leng|
|000058c0| 74 68 7d 7b 32 7d 7b 44 | 65 74 65 72 6d 69 6e 65 |th}{2}{D|etermine|
|000058d0| 20 6c 65 6e 67 74 68 20 | 6f 66 20 61 20 73 74 72 | length |of a str|
|000058e0| 69 6e 67 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |ing}.\pr|edicates|
|000058f0| 75 6d 6d 61 72 79 7b 73 | 74 72 69 6e 67 5f 74 6f |ummary{s|tring_to|
|00005900| 5f 61 74 6f 6d 7d 7b 32 | 7d 7b 43 6f 6e 76 65 72 |_atom}{2|}{Conver|
|00005910| 73 69 6f 6e 20 62 65 74 | 77 65 65 6e 20 73 74 72 |sion bet|ween str|
|00005920| 69 6e 67 20 61 6e 64 20 | 61 74 6f 6d 7d 0a 5c 70 |ing and |atom}.\p|
|00005930| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|00005940| 73 74 72 69 6e 67 5f 74 | 6f 5f 6c 69 73 74 7d 7b |string_t|o_list}{|
|00005950| 32 7d 7b 43 6f 6e 76 65 | 72 73 69 6f 6e 20 62 65 |2}{Conve|rsion be|
|00005960| 74 77 65 65 6e 20 73 74 | 72 69 6e 67 20 61 6e 64 |tween st|ring and|
|00005970| 20 6c 69 73 74 20 6f 66 | 20 41 53 43 49 49 7d 0a | list of| ASCII}.|
|00005980| 5c 70 72 65 64 69 63 61 | 74 65 73 75 6d 6d 61 72 |\predica|tesummar|
|00005990| 79 7b 73 74 79 6c 65 5f | 63 68 65 63 6b 7d 7b 31 |y{style_|check}{1|
|000059a0| 7d 7b 43 68 61 6e 67 65 | 20 6c 65 76 65 6c 20 6f |}{Change| level o|
|000059b0| 66 20 77 61 72 6e 69 6e | 67 73 7d 0a 5c 70 72 65 |f warnin|gs}.\pre|
|000059c0| 64 69 63 61 74 65 73 75 | 6d 6d 61 72 79 7b 73 75 |dicatesu|mmary{su|
|000059d0| 62 6c 69 73 74 7d 7b 33 | 7d 7b 44 65 74 65 72 6d |blist}{3|}{Determ|
|000059e0| 69 6e 65 20 65 6c 65 6d | 65 6e 74 73 20 74 68 61 |ine elem|ents tha|
|000059f0| 74 20 6d 65 65 74 20 63 | 6f 6e 64 69 74 69 6f 6e |t meet c|ondition|
|00005a00| 7d 0a 5c 70 72 65 64 69 | 63 61 74 65 73 75 6d 6d |}.\predi|catesumm|
|00005a10| 61 72 79 7b 73 75 62 73 | 65 74 7d 7b 32 7d 7b 47 |ary{subs|et}{2}{G|
|00005a20| 65 6e 65 72 61 74 65 2f | 63 68 65 63 6b 20 73 75 |enerate/|check su|
|00005a30| 62 73 65 74 20 72 65 6c | 61 74 69 6f 6e 7d 0a 5c |bset rel|ation}.\|
|00005a40| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|00005a50| 7b 73 75 62 73 74 72 69 | 6e 67 7d 7b 34 7d 7b 47 |{substri|ng}{4}{G|
|00005a60| 65 74 20 70 61 72 74 20 | 6f 66 20 61 20 73 74 72 |et part |of a str|
|00005a70| 69 6e 67 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |ing}.\pr|edicates|
|00005a80| 75 6d 6d 61 72 79 7b 73 | 75 62 74 72 61 63 74 7d |ummary{s|ubtract}|
|00005a90| 7b 33 7d 7b 44 65 6c 65 | 74 65 20 65 6c 65 6d 65 |{3}{Dele|te eleme|
|00005aa0| 6e 74 73 20 74 68 61 74 | 20 64 6f 20 6e 6f 74 20 |nts that| do not |
|00005ab0| 6d 65 65 74 20 63 6f 6e | 64 69 74 69 6f 6e 7d 0a |meet con|dition}.|
|00005ac0| 5c 70 72 65 64 69 63 61 | 74 65 73 75 6d 6d 61 72 |\predica|tesummar|
|00005ad0| 79 7b 73 75 63 63 7d 7b | 32 7d 7b 4c 6f 67 69 63 |y{succ}{|2}{Logic|
|00005ae0| 61 6c 20 69 6e 74 65 67 | 65 72 20 73 75 63 63 65 |al integ|er succe|
|00005af0| 73 73 6f 72 20 72 65 6c | 61 74 69 6f 6e 7d 0a 5c |ssor rel|ation}.\|
|00005b00| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|00005b10| 7b 73 77 72 69 74 65 66 | 7d 7b 32 7d 7b 46 6f 72 |{swritef|}{2}{For|
|00005b20| 6d 61 74 74 65 64 20 77 | 72 69 74 65 20 6f 6e 20 |matted w|rite on |
|00005b30| 61 20 73 74 72 69 6e 67 | 7d 0a 5c 70 72 65 64 69 |a string|}.\predi|
|00005b40| 63 61 74 65 73 75 6d 6d | 61 72 79 7b 73 77 72 69 |catesumm|ary{swri|
|00005b50| 74 65 66 7d 7b 33 7d 7b | 46 6f 72 6d 61 74 74 65 |tef}{3}{|Formatte|
|00005b60| 64 20 77 72 69 74 65 20 | 6f 6e 20 61 20 73 74 72 |d write |on a str|
|00005b70| 69 6e 67 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |ing}.\pr|edicates|
|00005b80| 75 6d 6d 61 72 79 7b 74 | 61 62 7d 7b 31 7d 7b 4f |ummary{t|ab}{1}{O|
|00005b90| 75 74 70 75 74 20 6e 75 | 6d 62 65 72 20 6f 66 20 |utput nu|mber of |
|00005ba0| 73 70 61 63 65 73 7d 0a | 5c 70 72 65 64 69 63 61 |spaces}.|\predica|
|00005bb0| 74 65 73 75 6d 6d 61 72 | 79 7b 74 61 62 7d 7b 32 |tesummar|y{tab}{2|
|00005bc0| 7d 7b 4f 75 74 70 75 74 | 20 6e 75 6d 62 65 72 20 |}{Output| number |
|00005bd0| 6f 66 20 73 70 61 63 65 | 73 20 6f 6e 20 61 20 73 |of space|s on a s|
|00005be0| 74 72 65 61 6d 7d 0a 5c | 70 72 65 64 69 63 61 74 |tream}.\|predicat|
|00005bf0| 65 73 75 6d 6d 61 72 79 | 7b 74 65 6c 6c 7d 7b 31 |esummary|{tell}{1|
|00005c00| 7d 7b 43 68 61 6e 67 65 | 20 63 75 72 72 65 6e 74 |}{Change| current|
|00005c10| 20 6f 75 74 70 75 74 20 | 73 74 72 65 61 6d 7d 0a | output |stream}.|
|00005c20| 5c 70 72 65 64 69 63 61 | 74 65 73 75 6d 6d 61 72 |\predica|tesummar|
|00005c30| 79 7b 74 65 6c 6c 69 6e | 67 7d 7b 31 7d 7b 51 75 |y{tellin|g}{1}{Qu|
|00005c40| 65 72 79 20 63 75 72 72 | 65 6e 74 20 6f 75 74 70 |ery curr|ent outp|
|00005c50| 75 74 20 73 74 72 65 61 | 6d 7d 0a 5c 70 72 65 64 |ut strea|m}.\pred|
|00005c60| 69 63 61 74 65 73 75 6d | 6d 61 72 79 7b 74 65 72 |icatesum|mary{ter|
|00005c70| 6d 5f 65 78 70 61 6e 73 | 69 6f 6e 7d 7b 32 7d 7b |m_expans|ion}{2}{|
|00005c80| 5c 68 6f 6f 6b 7b 75 73 | 65 72 7d 20 43 6f 6e 76 |\hook{us|er} Conv|
|00005c90| 65 72 74 20 74 65 72 6d | 20 62 65 66 6f 72 65 20 |ert term| before |
|00005ca0| 63 6f 6d 70 69 6c 61 74 | 69 6f 6e 7d 0a 5c 70 72 |compilat|ion}.\pr|
|00005cb0| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 74 |edicates|ummary{t|
|00005cc0| 65 72 6d 5f 74 6f 5f 61 | 74 6f 6d 7d 7b 32 7d 7b |erm_to_a|tom}{2}{|
|00005cd0| 43 6f 6e 76 65 72 74 20 | 62 65 74 77 65 65 6e 20 |Convert |between |
|00005ce0| 74 65 72 6d 20 61 6e 64 | 20 61 74 6f 6d 7d 0a 5c |term and| atom}.\|
|00005cf0| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|00005d00| 7b 74 68 72 6f 77 7d 7b | 31 7d 7b 52 61 69 73 65 |{throw}{|1}{Raise|
|00005d10| 20 61 6e 20 65 78 63 65 | 70 74 69 6f 6e 20 28 73 | an exce|ption (s|
|00005d20| 65 65 20 63 61 74 63 68 | 2f 33 29 7d 0a 5c 70 72 |ee catch|/3)}.\pr|
|00005d30| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 74 |edicates|ummary{t|
|00005d40| 69 6d 65 7d 7b 31 7d 7b | 44 65 74 65 72 6d 69 6e |ime}{1}{|Determin|
|00005d50| 65 20 74 69 6d 65 20 6e | 65 65 64 65 64 20 74 6f |e time n|eeded to|
|00005d60| 20 65 78 65 63 75 74 65 | 20 67 6f 61 6c 7d 0a 5c | execute| goal}.\|
|00005d70| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|00005d80| 7b 74 69 6d 65 5f 66 69 | 6c 65 7d 7b 32 7d 7b 47 |{time_fi|le}{2}{G|
|00005d90| 65 74 20 6c 61 73 74 20 | 6d 6f 64 69 66 69 63 61 |et last |modifica|
|00005da0| 74 69 6f 6e 20 74 69 6d | 65 20 6f 66 20 66 69 6c |tion tim|e of fil|
|00005db0| 65 7d 0a 5c 70 72 65 64 | 69 63 61 74 65 73 75 6d |e}.\pred|icatesum|
|00005dc0| 6d 61 72 79 7b 74 6d 70 | 5f 66 69 6c 65 7d 7b 32 |mary{tmp|_file}{2|
|00005dd0| 7d 7b 43 72 65 61 74 65 | 20 61 20 74 65 6d 70 6f |}{Create| a tempo|
|00005de0| 72 61 72 79 20 66 69 6c | 65 6e 61 6d 65 7d 0a 5c |rary fil|ename}.\|
|00005df0| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|00005e00| 7b 74 6f 6c 64 7d 7b 30 | 7d 7b 43 6c 6f 73 65 20 |{told}{0|}{Close |
|00005e10| 63 75 72 72 65 6e 74 20 | 6f 75 74 70 75 74 7d 0a |current |output}.|
|00005e20| 5c 70 72 65 64 69 63 61 | 74 65 73 75 6d 6d 61 72 |\predica|tesummar|
|00005e30| 79 7b 74 72 61 63 65 7d | 7b 30 7d 7b 53 74 61 72 |y{trace}|{0}{Star|
|00005e40| 74 20 74 68 65 20 74 72 | 61 63 65 72 7d 0a 5c 70 |t the tr|acer}.\p|
|00005e50| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|00005e60| 74 72 61 63 65 7d 7b 31 | 7d 7b 53 65 74 20 74 72 |trace}{1|}{Set tr|
|00005e70| 61 63 65 2d 70 6f 69 6e | 74 20 6f 6e 20 70 72 65 |ace-poin|t on pre|
|00005e80| 64 69 63 61 74 65 7d 0a | 5c 70 72 65 64 69 63 61 |dicate}.|\predica|
|00005e90| 74 65 73 75 6d 6d 61 72 | 79 7b 74 72 61 63 65 7d |tesummar|y{trace}|
|00005ea0| 7b 32 7d 7b 53 65 74 2f | 43 6c 65 61 72 20 74 72 |{2}{Set/|Clear tr|
|00005eb0| 61 63 65 2d 70 6f 69 6e | 74 20 6f 6e 20 70 6f 72 |ace-poin|t on por|
|00005ec0| 74 73 7d 0a 5c 70 72 65 | 64 69 63 61 74 65 73 75 |ts}.\pre|dicatesu|
|00005ed0| 6d 6d 61 72 79 7b 74 72 | 61 63 69 6e 67 7d 7b 30 |mmary{tr|acing}{0|
|00005ee0| 7d 7b 51 75 65 72 79 20 | 73 74 61 74 75 73 20 6f |}{Query |status o|
|00005ef0| 66 20 74 68 65 20 74 72 | 61 63 65 72 7d 0a 5c 70 |f the tr|acer}.\p|
|00005f00| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|00005f10| 74 72 69 6d 5f 73 74 61 | 63 6b 73 7d 7b 30 7d 7b |trim_sta|cks}{0}{|
|00005f20| 52 65 6c 65 61 73 65 20 | 75 6e 75 73 65 64 20 6d |Release |unused m|
|00005f30| 65 6d 6f 72 79 20 72 65 | 73 6f 75 72 63 65 73 7d |emory re|sources}|
|00005f40| 0a 5c 70 72 65 64 69 63 | 61 74 65 73 75 6d 6d 61 |.\predic|atesumma|
|00005f50| 72 79 7b 74 72 75 65 7d | 7b 30 7d 7b 53 75 63 63 |ry{true}|{0}{Succ|
|00005f60| 65 65 64 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |eed}.\pr|edicates|
|00005f70| 75 6d 6d 61 72 79 7b 74 | 74 79 5f 67 65 74 5f 63 |ummary{t|ty_get_c|
|00005f80| 61 70 61 62 69 6c 69 74 | 79 7d 7b 33 7d 7b 47 65 |apabilit|y}{3}{Ge|
|00005f90| 74 20 74 65 72 6d 69 6e | 61 6c 20 70 61 72 61 6d |t termin|al param|
|00005fa0| 65 74 65 72 7d 0a 5c 70 | 72 65 64 69 63 61 74 65 |eter}.\p|redicate|
|00005fb0| 73 75 6d 6d 61 72 79 7b | 74 74 79 5f 67 6f 74 6f |summary{|tty_goto|
|00005fc0| 7d 7b 32 7d 7b 47 6f 74 | 6f 20 70 6f 73 69 74 69 |}{2}{Got|o positi|
|00005fd0| 6f 6e 20 6f 6e 20 73 63 | 72 65 65 6e 7d 0a 5c 70 |on on sc|reen}.\p|
|00005fe0| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|00005ff0| 74 74 79 5f 70 75 74 7d | 7b 32 7d 7b 57 72 69 74 |tty_put}|{2}{Writ|
|00006000| 65 20 63 6f 6e 74 72 6f | 6c 20 73 74 72 69 6e 67 |e contro|l string|
|00006010| 20 74 6f 20 74 65 72 6d | 69 6e 61 6c 7d 0a 5c 70 | to term|inal}.\p|
|00006020| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|00006030| 74 74 79 66 6c 75 73 68 | 7d 7b 30 7d 7b 46 6c 75 |ttyflush|}{0}{Flu|
|00006040| 73 68 20 6f 75 74 70 75 | 74 20 6f 6e 20 74 65 72 |sh outpu|t on ter|
|00006050| 6d 69 6e 61 6c 7d 0a 5c | 70 72 65 64 69 63 61 74 |minal}.\|predicat|
|00006060| 65 73 75 6d 6d 61 72 79 | 7b 75 6e 69 6f 6e 7d 7b |esummary|{union}{|
|00006070| 33 7d 7b 55 6e 69 6f 6e | 20 6f 66 20 74 77 6f 20 |3}{Union| of two |
|00006080| 73 65 74 73 7d 0a 5c 70 | 72 65 64 69 63 61 74 65 |sets}.\p|redicate|
|00006090| 73 75 6d 6d 61 72 79 7b | 75 6e 6b 6e 6f 77 6e 7d |summary{|unknown}|
|000060a0| 7b 32 7d 7b 54 72 61 70 | 20 75 6e 64 65 66 69 6e |{2}{Trap| undefin|
|000060b0| 65 64 20 70 72 65 64 69 | 63 61 74 65 73 7d 0a 5c |ed predi|cates}.\|
|000060c0| 70 72 65 64 69 63 61 74 | 65 73 75 6d 6d 61 72 79 |predicat|esummary|
|000060d0| 7b 75 6e 6c 6f 61 64 5f | 66 6f 72 65 69 67 6e 5f |{unload_|foreign_|
|000060e0| 6c 69 62 72 61 72 79 7d | 7b 31 7d 7b 5c 70 6c 6c |library}|{1}{\pll|
|000060f0| 69 62 7b 73 68 6c 69 62 | 7d 20 44 65 74 61 63 68 |ib{shlib|} Detach|
|00006100| 20 73 68 61 72 65 64 20 | 6c 69 62 72 61 72 79 20 | shared |library |
|00006110| 28 2e 73 6f 20 66 69 6c | 65 29 7d 0a 5c 70 72 65 |(.so fil|e)}.\pre|
|00006120| 64 69 63 61 74 65 73 75 | 6d 6d 61 72 79 7b 75 6e |dicatesu|mmary{un|
|00006130| 73 65 74 65 6e 76 7d 7b | 31 7d 7b 44 65 6c 65 74 |setenv}{|1}{Delet|
|00006140| 65 20 73 68 65 6c 6c 20 | 65 6e 76 69 72 6f 6e 6d |e shell |environm|
|00006150| 65 6e 74 20 76 61 72 69 | 61 62 6c 65 7d 0a 5c 70 |ent vari|able}.\p|
|00006160| 72 65 64 69 63 61 74 65 | 73 75 6d 6d 61 72 79 7b |redicate|summary{|
|00006170| 75 73 65 5f 6d 6f 64 75 | 6c 65 7d 7b 31 7d 7b 49 |use_modu|le}{1}{I|
|00006180| 6d 70 6f 72 74 20 61 20 | 6d 6f 64 75 6c 65 7d 0a |mport a |module}.|
|00006190| 5c 70 72 65 64 69 63 61 | 74 65 73 75 6d 6d 61 72 |\predica|tesummar|
|000061a0| 79 7b 75 73 65 5f 6d 6f | 64 75 6c 65 7d 7b 32 7d |y{use_mo|dule}{2}|
|000061b0| 7b 49 6d 70 6f 72 74 20 | 70 72 65 64 69 63 61 74 |{Import |predicat|
|000061c0| 65 73 20 66 72 6f 6d 20 | 61 20 6d 6f 64 75 6c 65 |es from |a module|
|000061d0| 7d 0a 5c 70 72 65 64 69 | 63 61 74 65 73 75 6d 6d |}.\predi|catesumm|
|000061e0| 61 72 79 7b 76 61 72 7d | 7b 31 7d 7b 54 79 70 65 |ary{var}|{1}{Type|
|000061f0| 20 63 68 65 63 6b 20 66 | 6f 72 20 75 6e 62 6f 75 | check f|or unbou|
|00006200| 6e 64 20 76 61 72 69 61 | 62 6c 65 7d 0a 5c 70 72 |nd varia|ble}.\pr|
|00006210| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 76 |edicates|ummary{v|
|00006220| 69 73 69 62 6c 65 7d 7b | 31 7d 7b 50 6f 72 74 73 |isible}{|1}{Ports|
|00006230| 20 74 68 61 74 20 61 72 | 65 20 76 69 73 69 62 6c | that ar|e visibl|
|00006240| 65 20 69 6e 20 74 68 65 | 20 74 72 61 63 65 72 7d |e in the| tracer}|
|00006250| 0a 5c 6f 70 70 72 65 64 | 73 75 6d 6d 61 72 79 7b |.\oppred|summary{|
|00006260| 76 6f 6c 61 74 69 6c 65 | 7d 7b 31 7d 7b 66 78 7d |volatile|}{1}{fx}|
|00006270| 7b 31 31 35 30 7d 7b 50 | 72 65 64 69 63 61 74 65 |{1150}{P|redicate|
|00006280| 73 20 74 68 61 74 20 61 | 72 65 20 6e 6f 74 20 73 |s that a|re not s|
|00006290| 61 76 65 64 7d 0a 5c 70 | 72 65 64 69 63 61 74 65 |aved}.\p|redicate|
|000062a0| 73 75 6d 6d 61 72 79 7b | 77 61 69 74 5f 66 6f 72 |summary{|wait_for|
|000062b0| 5f 69 6e 70 75 74 7d 7b | 33 7d 7b 57 61 69 74 20 |_input}{|3}{Wait |
|000062c0| 66 6f 72 20 69 6e 70 75 | 74 20 77 69 74 68 20 6f |for inpu|t with o|
|000062d0| 70 74 69 6f 6e 61 6c 20 | 74 69 6d 65 6f 75 74 7d |ptional |timeout}|
|000062e0| 0a 5c 70 72 65 64 69 63 | 61 74 65 73 75 6d 6d 61 |.\predic|atesumma|
|000062f0| 72 79 7b 77 69 6c 64 63 | 61 72 64 5f 6d 61 74 63 |ry{wildc|ard_matc|
|00006300| 68 7d 7b 32 7d 7b 43 73 | 68 28 31 29 20 73 74 79 |h}{2}{Cs|h(1) sty|
|00006310| 6c 65 20 77 69 6c 64 63 | 61 72 64 20 6d 61 74 63 |le wildc|ard matc|
|00006320| 68 7d 0a 5c 70 72 65 64 | 69 63 61 74 65 73 75 6d |h}.\pred|icatesum|
|00006330| 6d 61 72 79 7b 77 69 6e | 5f 65 78 65 63 7d 7b 32 |mary{win|_exec}{2|
|00006340| 7d 7b 57 69 6e 33 32 3a | 20 73 70 61 77 6e 20 57 |}{Win32:| spawn W|
|00006350| 69 6e 64 6f 77 73 20 74 | 61 73 6b 7d 0a 5c 70 72 |indows t|ask}.\pr|
|00006360| 65 64 69 63 61 74 65 73 | 75 6d 6d 61 72 79 7b 77 |edicates|ummary{w|
|00006370| 72 69 74 65 7d 7b 31 7d | 7b 57 72 69 74 65 20 74 |rite}{1}|{Write t|
|00006380| 65 72 6d 7d 0a 5c 70 72 | 65 64 69 63 61 74 65 73 |erm}.\pr|edicates|
|00006390| 75 6d 6d 61 72 79 7b 77 | 72 69 74 65 7d 7b 32 7d |ummary{w|rite}{2}|
|000063a0| 7b 57 72 69 74 65 20 74 | 65 72 6d 20 74 6f 20 73 |{Write t|erm to s|
|000063b0| 74 72 65 61 6d 7d 0a 5c | 70 72 65 64 69 63 61 74 |tream}.\|predicat|
|000063c0| 65 73 75 6d 6d 61 72 79 | 7b 77 72 69 74 65 5f 6c |esummary|{write_l|
|000063d0| 6e 7d 7b 31 7d 7b 57 72 | 69 74 65 20 74 65 72 6d |n}{1}{Wr|ite term|
|000063e0| 2c 20 66 6f 6c 6c 6f 77 | 65 64 20 62 79 20 61 20 |, follow|ed by a |
|000063f0| 6e 65 77 6c 69 6e 65 7d | 0a 5c 70 72 65 64 69 63 |newline}|.\predic|
+--------+-------------------------+-------------------------+--------+--------+
Only 25.0 KB of data is shown above.
